awesome-prolog

Here are some resources: https://github.com/klaussinani/awesome-prolog#resources I recall going through the Adventure in Prolog one (free online resource) a while ago and enjoying it, helped direct a lot of exploration into the Prolog language and its capabilities for me. I have Clocksin & Mellish's Programming in Prolog (2003, 5th ed.) and liked it as a good introduction (or more expansion, I had dabbled in it previously and "knew" the language but not the full depth of it). I've read good things about The Art of Prolog by Sterling and Shapiro, but have not read it.

how non-trivial? https://github.com/terminusdb/terminusdb-server is prolog but it's well beyond just 'non-trivial' maybe poke around here: https://github.com/klaussinani/awesome-prolog it's got a markdown parser linked https://github.com/rla/prolog-markdown

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 [2] https://book.simply-logical.space/ [3] https://github.com/klaussinani/awesome-prolog [4] https://github.com/ML-KULeuven/problog [5] https://github.com/mthom/scryer-prolog

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 [2] https://book.simply-logical.space/ [3] https://github.com/klaussinani/awesome-prolog [4] https://github.com/ML-KULeuven/problog [5] https://github.com/mthom/scryer-prolog

If anyone is interested in learning Prolog I can recommend two 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]. Worth checking 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://www.metalevel.at/prolog [2] https://book.simply-logical.space/ [3] https://github.com/klaussinani/awesome-prolog [4] https://github.com/ML-KULeuven/problog [5] https://github.com/mthom/scryer-prolog

Prolog, and Lambda Prolog are much more universal. See the Awesome Prolog[1] list for more resources and examples. [1] https://github.com/klaussinani/awesome-prolog

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/ [2] https://book.simply-logical.space/ [3] https://github.com/klaussinani/awesome-prolog [4] https://github.com/ML-KULeuven/problog [5] https://github.com/mthom/scryer-prolog

Check Power of Prolog[1] book, and Awesome Prolog[2] list for more information. [1] https://www.metalevel.at/prolog [2] https://github.com/klaussinani/awesome-prolog

If you are curious about Prolog, here are 2 good and modern (still updated) books: - Power of Prolog https://github.com/triska/the-power-of-prolog/ - Simply Logical: Intelligent Reasoning by Example https://book.simply-logical.space/ See Awesome Prolog list for more: https://github.com/klaussinani/awesome-prolog