Prolog Resources

The most well-known book on Prolog is:

       W.F. Clocksin and C.S. Mellish, Programming in Prolog, Springer-Verlag, New York.

This describes the "Edinburg syntax" version of prolog, which is used by SWI-Prolog, the version of Prolog that is currently installed on our system.  The Dirac library has the 3rd edition, and this has been placed on reserve for the duration of this semester.

Another good book that has been put on reserve is:

       Ivan Bratko, Prolog Programming for Artificial Intelligence, Addison-Wesley, Reading, MA, 1986.

This was intended to be a textbook and in this respect is somewhat better-written than the Clocksin and Mellish book.  I recommend that you start with this.

A free book on Prolog, based on the commercial product, SICStus Prolog, is:  Paul Brna, Prolog Programming, A First Course, January 24, 2001. This is not especially well-written, and contains some differences with SWI-Prolog, but agrees enough with the Edinburg syntax to help you get started.

The current version of the SWI Prolog user's manual is: Jan Wielemaker, SWI-Prolog 3.1 Reference Manual