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