SNARK

From Just Solve the File Format Problem
Revision as of 12:43, 15 November 2017 by Dan Tobias (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
File Format
Name SNARK
Ontology

SNARK (SRI's New Automated Reasoning Kit) is a language for making logical assertions about things and their relationships. It uses a syntax with lots of parenthesis (resembling LISP). It is intended for use in systems (such as AI) which need to deal with, reason from, and manipulate such assertions.

Links

Personal tools
Namespaces

Variants
Actions
Navigation
Toolbox