SNARK

From Just Solve the File Format Problem
(Difference between revisions)
Jump to: navigation, search
m
 
Line 3: Line 3:
 
|subcat=Programming Languages
 
|subcat=Programming Languages
 
}}
 
}}
'''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]]).
+
'''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 parentheses (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]

Latest revision as of 20:43, 17 June 2022

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 parentheses (resembling LISP).

[edit] Links

Personal tools
Namespaces

Variants
Actions
Navigation
Toolbox