Prolog for Beginners

Show HN: An encoding of the UK's self-isolation rules in ~50 lines of Prolog

Prolog Meta-interpreters

The birth of Prolog (1992)

Automated Propositional Sequent Proofs in the Browser with Tau Prolog

Why Learn Prolog in 2021?

The Practical Application of Prolog (1993)

Pylo: Python front-end for several Prolog engines

Category Theory formalized in Avalog V0.3.3 - An experimental implementation of Avatar Logic with a Prolog-like syntax, written in Rust

bitlaw-jp/the-constitution-of-japan: The Constitution of Japan in Prolog