This page enumerates the files that are worth browsing as examples of Prolog, and gives a brief description of each.

- pms.ps
- PostScript file (a normal-size copy of the notes, for handouts). These notes describe all the examples except long.pl and relations.pl, though they do include extracts from the latter.
- An HTML copy of these notes.
- bitstream.pl
- Circuit simulator.
- intervals.pl
- Implements sets as unions of intervals.
- long.pl
- arbitrary precision rational arithmetic.
- press.pl
- Simple version of Bundy's Press.
- relations.pl
- Family relationships.
- replace.pl
- Example of program transformation.
- skier.pl
- Demonstrates inference.
- symdiff.pl
- Symbolic differentiation.
- uncertain.pl
- Uncertain reasoning.