Lisp code for Chapter 3

	theorem.lisp      simple theorem prover
	theorem.scm

	matching.lisp     matching and unification
	matching.scm

	dependency.lisp   data dependencies
	dependency.scm


The Scheme code in this directory was generated from the Common Lisp
code using the automatic translation routines in ../../SchemeSupport/
The file ../../SchemeSupport/schemify.scm must be loaded in order to
run the .scm files in this directory as it contains the code for 
basic routines that are part of Common Lisp. 
