Prolog Showcases
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
animation.
- 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
language.
- menu.pl: A menu with
submenus and options. Supports going back in
time.
- Proloxy:
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
program.
- gallery.pl:
Creating a photo gallery with Prolog.
| Video: |
|
More about Prolog
Main page