W. F. Clocksin, Chris S. Mellish.
Programming in Prolog: 2nd edn.
Springer. 1984
(read but not reviewed)
Since the first publishing of “Programming of Prolog” in 1981,
Prolog has continued to attract an unexpectedly great deal of interest
in the computer science community and is now seen as a potential basis
for an important new generation of programming languages and systems.
In this second edition, the authors have improved the presentation
and corrected various minor errors to provide a textbook as well as a reference work
for everyone who wants to study and use Prolog as a practical programming language.
Various examples show how useful programs can be written with the Prolog system that exists today.
The authors concentrate on teaching the “core” Prolog,
and all examples conform to this standard and will run on most existing Prolog implementations.
Some of the existing Prolog implementations are listed in the appendices
with indications as to how they diverge from the standard.
The book I used to teach myself Prolog in the mid 1980s.
