Aquarius Prolog benchmarks:


Small Program	 Lines	Description

tak.pl		  15	Recursive integer arithmetic.
zebra.pl	  36	A logical puzzle based on constraints.
sendmore.pl	  43	The SEND+MORE=MONEY puzzle.
poly_10.pl	  86	Symbolically raise a polynomial to the tenth power.

Large Program	 Size	Description

crypt.pl	  64	Solve a simple cryptarithmetic puzzle.
meta_qsort.pl	  74	A meta-interpreter running qsort.
browse.pl	  92	Build and query a database.
sdda.pl	 	 273	A dataflow analyzer that represents aliasing.
reducer.pl	 301	A graph reducer based on combinators.
boyer.pl	 377	An extract from a Boyer-Moore theorem prover.
nand.pl		 493	A logic synthesis program based on heuristic search.
chat_parser.pl	1138	Parse a set of English sentences.


Other benchmarks:

ham.pl             90	find all hamiltonian circuits in a given graph.
queens.pl	   95	16 queens puzzle (same as queens_8 of Aquarius).
queens8.pl	   79	 8 queens puzzle (naive).
cal.pl		  202	calendar program (due to Paul Tarau - I think).
tak_gvar	   20	tak.pl with global variable for tabulation.
