
This package contains the benchmarks that were used in the papers:

  "Fast Prolog with an Extended General Purpose Architecture", by Bruce Holmer
  et al (holmer@ernie.berkeley.edu), 17th International Symposium on Computer
  Architecture, May 1990.

  "The Benefits of Global Dataflow Analysis for an Optimizing Prolog Compiler",
  by Peter Van Roy (vanroy@ernie.berkeley.edu) and Alvin Despain, 1990 North
  American Conference on Logic Programming, October 1990.

The package contains 26 programs, grouped into "small" and "large".  All
program sizes are in lines of code excluding comments.  The programs have been
run on Quintus Prolog, C-Prolog, and Aquarius Prolog, a new system under
development at Berkeley.  The programs are to be run as is, with all built-in
predicates *including* write/1 and nl/0.

Small Program	 Size	Description

nreverse.pl	  10	Naive reverse of a 30-element list.
tak.pl		  15	Recursive integer arithmetic.
qsort.pl	  19	Quicksort of a 50-element list.
log10.pl	  27	Symbolic differentiation.
ops8.pl	  	  27	Symbolic differentiation.
times10.pl	  27	Symbolic differentiation.
divide10.pl	  27	Symbolic differentiation.
serialise.pl	  29	Calculate serial numbers of a list.
queens_8.pl	  31	Solve the eight queens puzzle.
mu.pl		  33	Prove a theorem of Hofstadter's "mu-math".
zebra.pl	  36	A logical puzzle based on constraints.
fast_mu.pl	  54	An optimized version of the mu-math prover.
query.pl	  68	Query a static database (using integer arithmetic).
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.
prover.pl	  81	A simple theorem prover.
browse.pl	  92	Build and query a database.
unify.pl	 125	A compiler code generator for unification.
flatten.pl	 158	Source transformation to remove disjunctions.
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.
simple_analyzer.pl 443	A dataflow analyzer analyzing qsort.
nand.pl		 493	A logic synthesis program based on heuristic search.
chat_parser.pl	1138	Parse a set of English sentences.