				Scheme Prolog 1.1
				-----------------

	written by John Cleary, Alan Dewar, Vinit Kaushik and Sue Rempel
	at the University of Calgary (cleary@cpsc.ucalgary.ca).

This package provides a fairly simple interpreter for pure Prolog, implemented
in Scheme.  It is primarily intended for use in students' projects involving
implementations of Prolog.  Scheme Prolog version 1.1 is mostly a pure Prolog
interpreter, though a few built-in primitives are also included.  Delayed goals
are also supported, and an interval-arithmetic package is included.

For details on invoking Scheme Prolog and on the built-in routines supported,
refer to "manual".  For implementation details, refer to "impl".  For details
on the interval-arithmetic package, refer to the following paper:

	Cleary, John G. (1987)  "Logical Arithmetic," Future Computing
	Systems 2(2) 125-149.
