Spectra/snark-20120808r02
Naveen Sundar Govindarajulu 9bdf4fe029 Support for plan methods
2017-12-22 17:44:24 -08:00
..
examples First commits. 2017-01-14 22:08:51 -05:00
src First commits. 2017-01-14 22:08:51 -05:00
commons.lisp Solving a seriated cup challenge. 2017-06-10 22:44:47 -07:00
compile First commits. 2017-01-14 22:08:51 -05:00
INSTALL First commits. 2017-01-14 22:08:51 -05:00
LICENSE First commits. 2017-01-14 22:08:51 -05:00
make-snark-ccl First commits. 2017-01-14 22:08:51 -05:00
make-snark-ccl64 First commits. 2017-01-14 22:08:51 -05:00
make-snark-sbcl First commits. 2017-01-14 22:08:51 -05:00
make-snark-sbcl64 First commits. 2017-01-14 22:08:51 -05:00
README First commits. 2017-01-14 22:08:51 -05:00
run-snark First commits. 2017-01-14 22:08:51 -05:00
snark-interface.fasl First commits. 2017-01-14 22:08:51 -05:00
snark-interface.lisp Support for plan methods 2017-12-22 17:44:24 -08:00
snark-system.lisp First commits. 2017-01-14 22:08:51 -05:00

(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.