Prolog programming books - Revision history

John: Moved "Algorithmics" link back to Worldcat.

2026-09-11T22:55:43Z

Moved "Algorithmics" link back to Worldcat.

← Older revision		Revision as of 22:55, 11 September 2026
Line 22:		Line 22:
	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://~~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.		David Harel's [https://search.worldcat.org/title/1113628975 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.

John: Simplify the first line.

2026-02-11T16:08:25Z

Simplify the first line.

← Older revision		Revision as of 16:08, 11 February 2026
Line 1:		Line 1:
	__NOTOC__		__NOTOC__
	I consider these to be the best ~~of the many~~ Prolog programming books ~~that I have read~~.		I consider these to be the best Prolog programming books.

	== Starting Out ==		== Starting Out ==

John: Since December 2025, Worldcat appears to be severely rate limited. Moving some links have to other sources should avoid triggering the limit.

2026-02-11T16:04:13Z

Since December 2025, Worldcat appears to be severely rate limited. Moving some links have to other sources should avoid triggering the limit.

← Older revision		Revision as of 16:04, 11 February 2026
Line 1:		Line 1:
	__NOTOC__		__NOTOC__
	~~Out~~ of the many Prolog programming books that I have read~~, I consider these to be the best~~.		I consider these to be the best of the many Prolog programming books that I have read.

	== Starting Out ==		== Starting Out ==
Line 6:		Line 6:
	Prolog is a deep subject, rather than a broad one, so it is best studied in stages.		Prolog is a deep subject, rather than a broad one, so it is best studied in stages.

	Clocksin & Mellish's [https://~~search~~.~~worldcat~~.~~org~~/~~title~~/~~1199008151~~ Programming in Prolog] is the definitive introductory text on Prolog. Most importantly, it will help you to start programming straight away.		Clocksin & Mellish's [https://link.springer.com/book/10.1007/978-3-642-55481-0 Programming in Prolog] is the definitive introductory text on Prolog. Most importantly, it will help you to start programming straight away.

	== More Advanced Applications ==		== More Advanced Applications ==

	I regard Peter Flach's [https://~~search~~.~~worldcat~~.~~org~~/~~title~~/~~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 "Programming in Prolog".		I regard Peter Flach's [https://book.simply-logical.space/src/simply-logical.html 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".

	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 ==		== The Last Word ==
Line 24:		Line 22:
	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://~~search~~.~~worldcat~~.~~org~~/~~title~~/~~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.		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://~~search~~.~~worldcat~~.~~org~~/~~title~~/~~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.		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.

John: Changing the hierarchy of worldcat URLs because "all editions" links need an account now.

2025-07-08T18:05:12Z

Changing the hierarchy of worldcat URLs because "all editions" links need an account now.

John: Update to Worldcat URL sub-domain.

2024-11-23T21:48:11Z

Update to Worldcat URL sub-domain.

John: Changes to worldcat.org URL format.

2022-08-24T21:11:55Z

Changes to worldcat.org URL format.

John: /* Updating link to HTTPS */

2022-08-02T20:00:21Z

Updating link to HTTPS

← Older revision		Revision as of 20:00, 2 August 2022
Line 18:		Line 18:
	Robert Kowalski's classic [https://www.worldcat.org/title/logic-for-problem-solving/oclc/710744783/editions Logic for Problem Solving] is essential reading for Prolog programmers. [https://www.worldcat.org/title/logic-for-problem-solving-revisited/oclc/958465391/editions Logic for Problem Solving, Revisited] is a more recent, revised edition.		Robert Kowalski's classic [https://www.worldcat.org/title/logic-for-problem-solving/oclc/710744783/editions Logic for Problem Solving] is essential reading for Prolog programmers. [https://www.worldcat.org/title/logic-for-problem-solving-revisited/oclc/958465391/editions 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 [~~http~~://www.doc.ic.ac.uk/~rak/ Robert Kowalski's homepage].		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 ==		== Getting Technical ==

John: The Simply Logical page at Bristol University has been marked as obsolete

2021-11-16T00:06:40Z

The Simply Logical page at Bristol University has been marked as obsolete

← Older revision		Revision as of 00:06, 16 November 2021
Line 12:		Line 12:
	I regard Peter Flach's [https://www.worldcat.org/title/simply-logical-intelligent-reasoning-by-example/oclc/246150014/editions 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".		I regard Peter Flach's [https://www.worldcat.org/title/simply-logical-intelligent-reasoning-by-example/oclc/246150014/editions 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".

	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 ~~the~~ [~~http~~://~~people~~.~~cs.bris.ac.uk~~/~~~flach~~/~~SimplyLogical.html~~ Simply Logical ~~page at Bristol University~~].		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 ==		== The Last Word ==

John: Replacing broken Amazon links with Worldcat links.

2021-02-07T17:03:44Z

Replacing broken Amazon links with Worldcat links.

John: Convert shortened Amazon links to https

2019-12-04T00:11:55Z

Convert shortened Amazon links to https

← Older revision		Revision as of 18:05, 8 July 2025
Line 6:		Line 6:
	Prolog is a deep subject, rather than a broad one, so it is best studied in stages.		Prolog is a deep subject, rather than a broad one, so it is best studied in stages.

	Clocksin & 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.		Clocksin & Mellish's [https://search.worldcat.org/title/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 ==		== 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 "Programming in Prolog".		I regard Peter Flach's [https://search.worldcat.org/title/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 "Programming in Prolog".

	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].		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].
Line 16:		Line 16:
	== The Last Word ==		== The Last Word ==

	Robert Kowalski's classic [https://search.worldcat.org/~~formats-editions~~/710744783 Logic for Problem Solving] is essential reading		Robert Kowalski's classic [https://search.worldcat.org/title/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.		for Prolog programmers. [https://search.worldcat.org/title/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].		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].
Line 24:		Line 24:
	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://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.		David Harel's [https://search.worldcat.org/title/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.		Richard O'Keefe's [https://search.worldcat.org/title/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.

← Older revision		Revision as of 21:48, 23 November 2024
Line 6:		Line 6:
	Prolog is a deep subject, rather than a broad one, so it is best studied in stages.		Prolog is a deep subject, rather than a broad one, so it is best studied in stages.

	Clocksin & Mellish's [https://~~www~~.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.		Clocksin & 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 ==		== More Advanced Applications ==

	I regard Peter Flach's [https://~~www~~.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 "Programming in Prolog".		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 "Programming in Prolog".

	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].		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].
Line 16:		Line 16:
	== The Last Word ==		== The Last Word ==

	Robert Kowalski's classic [https://~~www~~.worldcat.org/formats-editions/710744783 Logic for Problem Solving] is essential reading		Robert Kowalski's classic [https://search.worldcat.org/formats-editions/710744783 Logic for Problem Solving] is essential reading
	for Prolog programmers. [https://~~www~~.worldcat.org/formats-editions/958465391 Logic for Problem Solving, Revisited] is a more recent, revised edition.		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].		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].
Line 24:		Line 24:
	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://~~www~~.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.		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://~~www~~.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.		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.

← Older revision		Revision as of 21:11, 24 August 2022
Line 6:		Line 6:
	Prolog is a deep subject, rather than a broad one, so it is best studied in stages.		Prolog is a deep subject, rather than a broad one, so it is best studied in stages.

	Clocksin & Mellish's [https://www.worldcat.org/~~title/programming~~-~~in-prolog/oclc~~/1199008151~~/editions~~ Programming in Prolog] is the definitive introductory text on Prolog. Most importantly, it will help you to start programming straight away.		Clocksin & Mellish's [https://www.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 ==		== More Advanced Applications ==

	I regard Peter Flach's [https://www.worldcat.org/~~title/simply~~-~~logical-intelligent-reasoning-by-example/oclc~~/246150014~~/editions~~ 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".		I regard Peter Flach's [https://www.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 "Programming in Prolog".

	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].		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].
Line 16:		Line 16:
	== The Last Word ==		== The Last Word ==

	Robert Kowalski's classic [https://www.worldcat.org/~~title/logic~~-~~for-problem-solving/oclc~~/710744783~~/editions~~ Logic for Problem Solving] is essential reading for Prolog programmers. [https://www.worldcat.org/~~title/logic~~-~~for-problem-solving-revisited/oclc~~/958465391~~/editions~~ Logic for Problem Solving, Revisited] is a more recent, revised edition.		Robert Kowalski's classic [https://www.worldcat.org/formats-editions/710744783 Logic for Problem Solving] is essential reading
			for Prolog programmers. [https://www.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].		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].
Line 23:		Line 24:
	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://www.worldcat.org/~~title/algorithmics~~-~~the-spirit-of-computing/oclc~~/889969825~~/editions~~ 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.		David Harel's [https://www.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://www.worldcat.org/~~title/craft~~-~~of-prolog/oclc~~/1024831685~~/editions~~ 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://www.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.

← Older revision		Revision as of 17:03, 7 February 2021
Line 6:		Line 6:
	Prolog is a deep subject, rather than a broad one, so it is best studied in stages.		Prolog is a deep subject, rather than a broad one, so it is best studied in stages.

	Clocksin & Mellish's [https://~~amzn~~.to/~~2GNAW9U~~ Programming in Prolog] is the definitive introductory text on Prolog. Most importantly, it will help you to start programming straight away.		Clocksin & Mellish's [https://www.worldcat.org/title/programming-in-prolog/oclc/1199008151/editions Programming in Prolog] is the definitive introductory text on Prolog. Most importantly, it will help you to start programming straight away.

	== More Advanced Applications ==		== More Advanced Applications ==

	I regard Peter Flach's [https://~~amzn~~.to/~~2nACWuu~~ 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".		I regard Peter Flach's [https://www.worldcat.org/title/simply-logical-intelligent-reasoning-by-example/oclc/246150014/editions 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".

	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 the [http://people.cs.bris.ac.uk/~flach/SimplyLogical.html Simply Logical page at Bristol University].		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 the [http://people.cs.bris.ac.uk/~flach/SimplyLogical.html Simply Logical page at Bristol University].
Line 16:		Line 16:
	== The Last Word ==		== The Last Word ==

	Robert Kowalski's classic [https://~~amzn~~.to/~~2EDfWSM~~ Logic for Problem Solving] is essential reading for Prolog programmers. [https://www.~~amazon~~.~~co.uk~~/~~Problem~~-~~Solving~~-~~Revisited~~-~~Robert~~-~~Kowalski~~/dp/~~3837036294~~ Logic for Problem Solving, Revisited] is a more recent, revised edition.		Robert Kowalski's classic [https://www.worldcat.org/title/logic-for-problem-solving/oclc/710744783/editions Logic for Problem Solving] is essential reading for Prolog programmers. [https://www.worldcat.org/title/logic-for-problem-solving-revisited/oclc/958465391/editions 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 [http://www.doc.ic.ac.uk/~rak/ Robert Kowalski's homepage].		The original book has been scanned into PDF format and can be downloaded from [http://www.doc.ic.ac.uk/~rak/ Robert Kowalski's homepage].

	== Getting Technical ==		== Getting Technical ==
	Performance and memory ~~utilisation~~ 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://~~amzn~~.to/~~2E2ooy5~~ 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.		David Harel's [https://www.worldcat.org/title/algorithmics-the-spirit-of-computing/oclc/889969825/editions 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://~~amzn~~.to/~~2GI0dlX~~ 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://www.worldcat.org/title/craft-of-prolog/oclc/1024831685/editions 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.

← Older revision		Revision as of 00:11, 4 December 2019
Line 6:		Line 6:
	Prolog is a deep subject, rather than a broad one, so it is best studied in stages.		Prolog is a deep subject, rather than a broad one, so it is best studied in stages.

	Clocksin & Mellish's [~~http~~://amzn.to/2GNAW9U Programming in Prolog] is the definitive introductory text on Prolog. Most importantly, it will help you to start programming straight away.		Clocksin & Mellish's [https://amzn.to/2GNAW9U Programming in Prolog] is the definitive introductory text on Prolog. Most importantly, it will help you to start programming straight away.

	== More Advanced Applications ==		== More Advanced Applications ==

	I regard Peter Flach's [~~http~~://amzn.to/2nACWuu 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".		I regard Peter Flach's [https://amzn.to/2nACWuu 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".

	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 the [http://people.cs.bris.ac.uk/~flach/SimplyLogical.html Simply Logical page at Bristol University].		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 the [http://people.cs.bris.ac.uk/~flach/SimplyLogical.html Simply Logical page at Bristol University].
Line 16:		Line 16:
	== The Last Word ==		== The Last Word ==

	Robert Kowalski's classic [~~http~~://amzn.to/2EDfWSM Logic for Problem Solving] is essential reading for Prolog programmers. [https://www.amazon.co.uk/Problem-Solving-Revisited-Robert-Kowalski/dp/3837036294 Logic for Problem Solving, Revisited] is a more recent, revised edition.		Robert Kowalski's classic [https://amzn.to/2EDfWSM Logic for Problem Solving] is essential reading for Prolog programmers. [https://www.amazon.co.uk/Problem-Solving-Revisited-Robert-Kowalski/dp/3837036294 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 [http://www.doc.ic.ac.uk/~rak/ Robert Kowalski's homepage].		The original book has been scanned into PDF format and can be downloaded from [http://www.doc.ic.ac.uk/~rak/ Robert Kowalski's homepage].
Line 23:		Line 23:
	Performance and memory utilisation become important when Prolog is used to solve complex problems.		Performance and memory utilisation become important when Prolog is used to solve complex problems.

	David Harel's [~~http~~://amzn.to/2E2ooy5 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.		David Harel's [https://amzn.to/2E2ooy5 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 [~~http~~://amzn.to/2GI0dlX 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://amzn.to/2GI0dlX 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.