progscrape: prolog

Prolog for Beginners

4 years ago coursera.org prolog

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

4 years ago github.com prolog show

Prolog Meta-interpreters

4 years ago youtu.be prolog

The birth of Prolog (1992)

4 years ago alain.colmerauer.free.fr prolog

Automated Propositional Sequent Proofs in the Browser with Tau Prolog

4 years ago philipzucker.com prolog

Why Learn Prolog in 2021?

4 years ago dstrohmaier.com prolog

The Practical Application of Prolog (1993)

4 years ago drdobbs.com prolog

Pylo: Python front-end for several Prolog engines

4 years ago github.com prolog python

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

4 years ago github.com rust

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

4 years ago github.com japan prolog