# 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](https://www.goodreads.com/en/book/show/1242949)

## Resources

* [Awesome Prolog](https://github.com/klaussinani/awesome-prolog)
* [Simply Logical: Intelligent Reasoning by Example](https://book.simply-logical.space/)
* [The Power of Prolog](https://www.metalevel.at/prolog) and the video

  tutorials at [The Power of Prolog - YouTube](https://www.youtube.com/channel/UCFFeNyzCEQDS4KCecugmotg).
* [Logic Programming Techniques and Language Extensions](https://people.eng.unimelb.edu.au/lee/papers/lpt.html)

## [Cookbook](https://wiki.dewaka.com/programming-languages/prolog/cookbook)