GitHub - RAIRLab/snark: Modified version of SNARK version 20120808r02. The RAIR Lab did not create nor does it claim any rights to snark.

RAIRLab / snark Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Modified version of SNARK version 20120808r02. The RAIR Lab did not create nor does it claim any rights to snark.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
examples		examples
src		src
INSTALL		INSTALL
LICENSE		LICENSE
README		README
commons.lisp		commons.lisp
compile		compile
make-snark-ccl		make-snark-ccl
make-snark-ccl64		make-snark-ccl64
make-snark-sbcl		make-snark-sbcl
make-snark-sbcl64		make-snark-sbcl64
run-snark		run-snark
snark-interface.fasl		snark-interface.fasl
snark-interface.lisp		snark-interface.lisp
snark-system.lisp		snark-system.lisp
sort-system.lisp		sort-system.lisp

Repository files navigation

(replace "yyyymmdd" by the SNARK version date)

Obtaining SNARK:

  SNARK can be downloaded from the SNARK web page
  http://www.ai.sri.com/~stickel/snark.html

See INSTALL file for installation instructions

Running SNARK:

  lisp
  (load "snark-system.lisp")
  (make-snark-system)
  :

Examples:

  (overbeek-test) in overbeek-test.lisp
    some standard theorem-proving examples, some time-consuming

  (steamroller-example) in steamroller-example.lisp
    illustrates sorts

  (front-last-example) in front-last-example.lisp
    illustrates program synthesis

  (reverse-example) in reverse-example.lisp
    illustrates logic programming style usage

A guide to SNARK has been written:

  http://www.ai.sri.com/snark/tutorial/tutorial.html

but has not been updated yet to reflect changes in SNARK,
especially for temporal and spatial reasoning.