Making Oyster/Clam
------------------
To compile Clam you will need either SICStus or Quintus Prolog (you
will also need the "make" program to help compile Clam), and you will
need the Oyster distribuition.  (Both Oyster and Clam distributions
come in the Oyster/Clam distribution.)

1.  Configuration.
      * Building the Prolog saved state requires the setting of
	certain variables in clam/make/Makefile:

	Set SRC to the top-level directory of the Oyster/Clam
	distribution.   Continuing the example above, this would be
	SRC=.../oyster-clam 

	Set DIA=qui for Quintus, or DIA=sic for SICStus.

	Set the name of the Prolog executable.  SICSTUS=sicstus and
	QUINTUS=quintus are the defaults.

	Set SOCKET_SUPPORT=yes if you want to compile socket support
	(only compiled under SICStus)

      * (OPTIONAL) Edit the config files in the clam/config/ directory
	to adjust the pre-loaded methods, hints and tactics.  

2.  Make a Prolog saved state of Clam.
	cd into the .../oyster-clam/clam/make/ directory and type
	
	make

	"make clean" will empty the directory of everything not 
	present in the distribution.
	
	The executable Prolog image containing Oyster/Clam will be
	either clam.qui (QUINTUS) or clam.sic (SICStus).

3.  The manual can be found in clam/info-for-users/clam-manual/manual.ps.
    Type "make" there to LaTeX the manual to produce a DVI file (but
    without the University crest on the first page).

-----------------------------------------------------------------------------
					Maths Reasoning Group
					Department of Artificial Intelligence
					University of Edinburgh
					Edinburgh EH1 1HN
					Scotland

					http://dream.dai.ed.ac.uk/
					dream@dai.ed.ac.uk
