File:	/mnt/jo/Protolexicon/INSTALLATION
Date:	Wed May 18 12:43:53 1988
By:	Jo Calder

Notes on code and installation

This version of the protolexicon is intended specifically for use
under the ACORD version of C-Prolog prolog+.  

While most of the code has been tested under C-Prolog version 1.5, 
findall/3 (i.e. setof/3 with existential quantification over every
variable and never failing) is required by certain critical parts of
the code.  The definition of findall from the public domain prolog
library is included in this distribution, but HAS NOT BEEN TESTED for
compatibility with other routines in C-Prolog 1.5.  (There are
certainly name clashes, but it may be that these are harmless).

Installation should be relatively straightforward.  The only
nonstandard step is the second of the following:

1) cd src	# into the source directory

2) rm penv.pl 	# remove the file which sets up basic parameter

3) cd .. (i.e. back to this directory)

4) make

This will create a saved state src/pl.ss

Invoking prolog with this saved state will start the Protolexicon
