Prolog

"Prolog is an efficient programming language because it is a very stupid theorem prover"

• The Craft of Prolog, Richard O'Keefe

Books

• Clause and Effect: PROLOG Programming for the Working Programmer

Resources

• Awesome Prolog

• Simply Logical: Intelligent Reasoning by Example

• The Power of Prolog and the video

  tutorials at The Power of Prolog - YouTube.

• Logic Programming Techniques and Language Extensions

Cookbook