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​

Python Cookbook

Prolog Cookbook

Last modified 3yr ago

Prolog

Books

Resources

​Cookbook​

Cookbook