SNARK
From Just Solve the File Format Problem
(Difference between revisions)
Dan Tobias (Talk | contribs) (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...") |
Dan Tobias (Talk | contribs) |
||
| 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]]) | + | '''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
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).
