Embeddable Lambda Prolog Interpreter

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

tar creator+extractor in ~100 lines of prolog

Constraint Logic Programming over Integers

Some notes taken while working on Prolog

A Brainf*** Interpreter written in SWI Prolog

The original DEC10 Prolog library