3 ms·
If anyone is interested in learning Prolog I can recommend two very good Prolog books: The Power of Prolog (from the author of the video)[1] and Simply Logical:
by xvilka 6y ago
If anyone is interested in learning Prolog I can recommend two very good Prolog books: The Power of Prolog (from the author of the video)[1] and Simply Logical: Intelligent Reasoning by Example[2]. I also recommend visiting the Awesome Prolog list[3]. Worth checking also interesting extension of the Prolog - Probabilistic Prolog, aka ProbLog[4]. And modern ISO-compatible implementation in Rust language - Scryer Prolog[5].
[1] https://www.metalevel.at/prolog https://www.metalevel.at/prolog
[2] https://book.simply-logical.space/ https://book.simply-logical.space/
[3] https://github.com/klaussinani/awesome-prolog https://github.com/klaussinani/awesome-prolog
[4] https://github.com/ML-KULeuven/problog https://github.com/ML-KULeuven/problog
[5] https://github.com/mthom/scryer-prolog https://github.com/mthom/scryer-prolog
- AdieuToLogic 6y agoThanks for sharing those resources. With both of the books having online versions, I can easily share them with people interested in logic programming in general and Prolog in specific.
- JadeNB 6y agoI always drop in on any Prolog recommendations and mention O'Keefe's highly idiosyncratic but wonderful "The craft of Prolog": https://mitpress.mit.edu/books/craft-prolog https://mitpress.mit.edu/books/craft-prolog .