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...") |
Revision as of 12:43, 15 November 2017
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.
