Spectra

mirror of https://github.com/RAIRLab/Spectra.git synced 2025-10-26 22:51:19 +00:00

History

Naveen Sundar Govindarajulu d1e0cb891a Some more tweaks		2017-01-18 22:58:41 -05:00
..
examples	First commits.	2017-01-14 22:08:51 -05:00
src	First commits.	2017-01-14 22:08:51 -05: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	Some more tweaks	2017-01-18 22:58:41 -05:00
snark-system.lisp	First commits.	2017-01-14 22:08:51 -05:00

README

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