Two more very good Prolog books: The Power of Prolog[1] and Simply Logical: Intelligent Reasoning by Example[2]. I also recommend visiting the Awesome Prolog li

Two more very good Prolog books: The Power of Prolog[1] and Simply Logical: Intelligent Reasoning by Example[2]. I also recommend visiting the Awesome Prolog list[3]. There is also a very interesting extension of the Prolog - Probabilistic Prolog, aka ProbLog[4]. And modern ISO-compatible implementation in Rust language - Scryer Prolog[5]. [1] https://github.com/triska/the-power-of-prolog/ https://github.com/triska/the-power-of-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