Prolog programming books: Difference between revisions
m Moved "Algorithmics" link back to Worldcat. |
m Updating book links (removing worldcat links) |
||
| Line 1: | Line 1: | ||
__NOTOC__ | __NOTOC__ | ||
I consider these to be the best Prolog programming books. | I consider these to be the best of the many Prolog programming books that I have read. | ||
== Starting Out == | == Starting Out == | ||
| Line 14: | Line 14: | ||
== The Last Word == | == The Last Word == | ||
Robert Kowalski's classic [https:// | Robert Kowalski's classic [https://www.doc.ic.ac.uk/~rak/papers/LogicForProblemSolving.pdf Logic for Problem Solving] (1979) is essential reading for Prolog programmers. | ||
for Prolog programmers | |||
Logic for Problem Solving, Revisited (ISBN 9783837036299 2014) is a more recent, revised edition. | |||
== Getting Technical == | == Getting Technical == | ||
Performance and memory utilization become important when Prolog is used to solve complex problems. | Performance and memory utilization become important when Prolog is used to solve complex problems. | ||
David Harel's [https:// | David Harel's [https://www.weizmann.ac.il/math/harel/algorithmics-spirit-computing 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://mitpress.mit.edu/9780262512275/the-craft-of-prolog/ 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. | Richard O'Keefe's [https://mitpress.mit.edu/9780262512275/the-craft-of-prolog/ 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. | ||
Latest revision as of 19:04, 25 September 2026
I consider these to be the best of the many Prolog programming books that I have read.
Starting Out
Prolog is a deep subject, rather than a broad one, so it is best studied in stages.
Clocksin & Mellish's 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 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 "Programming in Prolog".
The Last Word
Robert Kowalski's classic Logic for Problem Solving (1979) is essential reading for Prolog programmers.
Logic for Problem Solving, Revisited (ISBN 9783837036299 2014) is a more recent, revised edition.
Getting Technical
Performance and memory utilization become important when Prolog is used to solve complex problems.
David Harel's 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 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.