(0) A General Public License for SB-Prolog is in the file COPYING.

(1) To install SB-Prolog, execute "make" in top-level directory.
    Alter DEST, if necessary, to choose a different destination directory.

(2) For an SB-Prolog User Manual, in the "doc" directory, do something like:

	cat macros man.? man.?? | tbl | eqn | <your favorite formatter>

(3) The Prolog byte code files in cmplib, lib and modlib should not have
    to be recompiled except under exceptional circumstances (such as corruption
    during transmission), as they are machine independent.

(4) Benchmarking: use the 'a' option when compiling benchmarks.  A naive
    reverse benchmark program can be found in sim/newlips.P: to execute this,
    compile and load as follows:
    
    	?- compile('newlips.P', [a,v]).
	?- load('newlips.P.out').
	
    the benchmark can then be executed by calling bench/1, e.g. as
    
    	?- bench(100).
---

.