SNARK

From Just Solve the File Format Problem
(Difference between revisions)
Jump to: navigation, search
(Created page with "{{FormatInfo |formattype=Languages |subcat=Programming Languages }} '''SNARK''' (SRI's New Automated Reasoning Kit) is a language for making logical assertions about things an...")
 
Line 3: Line 3:
 
|subcat=Programming Languages
 
|subcat=Programming Languages
 
}}
 
}}
'''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.
+
'''SNARK''' (SRI's New Automated Reasoning Kit) is a theorem-prover program, with an associated language for making logical assertions about things and their relationships. It uses a syntax with lots of parenthesis (resembling [[LISP]]).
  
 
== Links ==
 
== Links ==
 
* [http://www.ai.sri.com/snark/tutorial/tutorial.html A guide to SNARK]
 
* [http://www.ai.sri.com/snark/tutorial/tutorial.html A guide to SNARK]

Revision as of 12:44, 15 November 2017

File Format
Name SNARK
Ontology

SNARK (SRI's New Automated Reasoning Kit) is a theorem-prover program, with an associated language for making logical assertions about things and their relationships. It uses a syntax with lots of parenthesis (resembling LISP).

Links

Personal tools
Namespaces

Variants
Actions
Navigation
Toolbox