We collect several showcases that illustrate declarative aspects
and advantages of (mostly) pure Prolog.
- Bitcoinolog: Reason
about Bitcoin addresses with Prolog.
- Sudoku: Solve Sudoku
puzzles with Prolog.
- N-queens: N-queens puzzle and
- Lisprolog: Interpreter for a
simple Lisp, written in Prolog.
- turing.pl: Simulate
a Turing machine with Prolog. This (again)
proves that Prolog is a Turing-complete programming
- menu.pl: A menu with
submenus and options. Supports going back in
Reverse HTTP proxy written in Prolog, using Prolog
configuration files. This program sent you this page!
- Alzint: Prolog interpreter for an
imperative programming language. Supports reverse execution.
- Presprover: Prolog is
a programming languague, not a theorem prover. However,
Prolog is extremely well-suited for implementing
theorem provers, and Presprover is an example of such a
More about Prolog