Logic, Programming and Prolog (2ed) by Ulf Nilsson and Jan Maluszynski Previously published by John Wiley & Sons Ltd. Download the book as a pdf file.

Download the errata.

Download transparencies