View source for Prolog programming books

__NOTOC__
Out of the many Prolog programming books that I have read, I consider these to be the best.

== Starting Out ==

Prolog is a deep subject, rather than a broad one, so it is best studied in stages.

Clocksin &amp; Mellish's [https://search.worldcat.org/formats-editions/1199008151 Programming in Prolog] is the definitive introductory text on Prolog. Most importantly, it will help you to start programming straight away.

== More Advanced Applications ==

I regard Peter Flach's [https://search.worldcat.org/formats-editions/246150014 Simply Logical: Intelligent Reasoning by Example] as the best advanced text. It deals with both theoretical and practical aspects of logic programming but doesn't assume prior knowledge beyond that you will have gained from &quot;Programming in Prolog&quot;.

It has an interactive edition at [https://book.simply-logical.space/ simply-logical.space] or you can download the programs in the book, and the book as a <abbr title="Portable Document Format">PDF</abbr> file, from [https://github.com/simply-logical/ Simply Logical on GitHub].

== The Last Word ==

Robert Kowalski's classic [https://search.worldcat.org/formats-editions/710744783 Logic for Problem Solving] is essential reading
for Prolog programmers. [https://search.worldcat.org/formats-editions/958465391 Logic for Problem Solving, Revisited] is a more recent, revised edition.

The original book has been scanned into PDF format and can be downloaded from [https://www.doc.ic.ac.uk/~rak/ Robert Kowalski's homepage].

== Getting Technical ==
Performance and memory utilization become important when Prolog is used to solve complex problems.

David Harel's [https://search.worldcat.org/formats-editions/889969825 Algorithmics] is a very accessible treatment of program behaviour. It isn't tied to one programming language and the techniques described are readily applicable to Prolog programs.

Richard O'Keefe's [https://search.worldcat.org/formats-editions/1024831685 The Craft of Prolog] is a superb exposition of the techniques that can be employed to work ''with'' Prolog, rather than fighting against it, and the rationale behind them.