This page contains useful links to online resources for Prolog and for full first-order logic theorem provers such as Otter and SPASS. Needless to say, Google works fine for virtually any kind of question you might have about the these topics.
SWI-Prolog is a large and well-developed system with a great deal
of functionality. But at it's heart it is Prolog and can be used
for the simplest "Hello World" examples. The SWI-Prolog
home page is here.
It has pointers to many other resources.
To run SWI-Prolog on the CCIS Solaris system, enter pl on the command line. To exit SWI-Prolog, enter the expression (halt). (including the final period).
The PDF and HTML versions of the SWI-Prolog manual are available on the CCIS site (these local versions are a bit out-of-date as of 12/06).
The standard way to use Prolog is to place your database of facts and rules in a file, with extension .pl, e.g., mydata.pl, and then "consult" it from within Prolog. In most Prologs, including SWI, you can do this by entering [mydata]. (with the final period). The command listing. tells you what has been loaded.
"W-Prolog is an interpreter for a Prolog like language implemented in Java. The implementation is extremely portable and can be run as an applet under Java-capable web browsers." (Applet available on the W-Prolog page linked above.)
Books about Prolog or mentioning Prolog number 570 on amazon.com.
Our Snell Library has more than 50 books with "Prolog" in the title. Search here here for "Prolog". The great majority of them have call numbers starting with QA76. The most recent edition of the Prolog text by Clocksin and Mellish is on reserve for CSU520 and CSG120 for Spring 2006.
There are a few sites that either offer full PDF books about Prolog online (or their .ps equivalents) or extensive tutorials that amount to the same thing:
Hi Bob, The first book is in print now at CSLI press and hopefully comes out very soon. (Expected beginning of 2005.) We're still working on V2 which we hope to finish end of this year. As soon as we know more about this I will let you know. Otter is the "classic" theorem prover but outperformed by Spass and Vampire. Best regards, Johan
USER(1): (load "auxfns") ; Fast loading /home/futrelle/csg120sp05/code/paip/auxfns.fasl T USER(2): (require "prolog") ; Loading /home/futrelle/csg120sp05/code/paip/prolog.lisp ; Loading /home/futrelle/csg120sp05/code/paip/unify.lisp ; Loading /home/futrelle/csg120sp05/code/paip/patmatch.lisp THis download page is at: http://www.norvig.com/paip/README.html
These are full automated resolution-based First-Order Logic theorem provers. By including answer literals, they can be used for query answering.
Go to Futrelle's Teaching Gateway
Return to Prof. Futrelle's home page