An introduction to logic programming through Prolog

My book, An introduction to logic programming through Prolog was published by Prentice-Hall in 1996, but is long out of print. The book gives a simple introduction to the theory of logic programming, and also describes in detail an implementation of a small Prolog dialect called picoProlog by an interpreter written in Pascal.

I have reclaimed the copyright, and I am delighted to make available here:

• The full text of the book.

Another page gives instructions for downloading and building the Prolog interpreter.

Text and software copyright © J. M. Spivey, 1996, 2002, 2010.

Please note that I have not placed the copyright of this work in the public domain. Nevertheless, I freely grant permission to make copies of the whole work for any purpose except direct commercial gain. I retain all other rights, including but not limited to the right to make translations and derivative works, and the right to make extracts and copies of parts of the work. Fair quotation is permitted according to usual scholarly conventions.