aiakl.pl	- Abstract unification (part) of AKL abstract interpreter
   ann.pl	- A simplified version of the &-Prolog clause annotator
   bid.pl	- Computes opening bid for bridge hand
   boyer.pl	- Boyer-Moore theorem prover
   browse.pl	- Gabriel Benchmarks Browse
   deriv.pl	- Symbolic differentiation
   fib.pl	- Fibonacci numbers
   grammar.pl	- A (very) simple sentence parser
   hanoiapp.pl	- Towers of Hanoi (with append)
   mmatrix.pl	- Matrix/matrix multiplication
   occur.pl	- Counting occurrences in lists (only indexing version)
   peephole.pl	- SB-Prolog peephole optimizer
   progeom.pl	- Projective geometry
   qplan.pl	- Chat80 query planner
   qsortapp.pl	- Quicksort with append
   query.pl 	- Warren's query on a database
   rdtok.pl	- SICStus Prolog tokenizer
   read.pl	- SICStus Prolog parser
   serialize.pl - Palindrome words
   tak.pl	- Takeuchi
   warplan.pl	- Planner for robot movements
   witt.pl	- Conceptual clustering
   zebra.pl 	- Van Hentenryck's houses problem in the domain approach