"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​