The course syllabus is here:  Syllabus

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, which is the one currently installed on our system.  The book is now in it's 4th edition and costs around $40.  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 textbook and in this respect is somewhat better-written than the Clocksin and Mellish book.  You might prefer to 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