INSTALL

1) Install CCL (Clozure Common Lisp).

o  Download the most recent version of CCL.  As of June 20, 2012...
	svn co http://svn.clozure.com/publicsvn/openmcl/release/1.8/<version>/ccl
	where <version> is one of linuxx86, freebsdx86, solarisx86, windows, linuxppc, or linuxarm.

o  Copy ccl/scripts/ccl or ccl/scripts/ccl64 to somewhere in your PATH.

o  Set the variable CCL_DEFAULT_DIRECTORY to the path to CCL (not ending the path with a /).

o  If this doesn't work, see latest instructions at 
http://ccl.clozure.com/download.html

2) Install minisat (if using ESODatalog)

o  Download and install per included instructions
	http://minisat.se/downloads/minisat2-070721.zip

o  Edit line in /path/to/clicl/bin/clicl-init.lisp
	(setq *minisat* "/path/to/minisat.exe")


3) Install SNARK (if using Plato or Weblog)

o  Download and install per included instructions
	http://www.ai.sri.com/~stickel/snark.tar.gz	

o  Add sym link to clicl directory naming the link 'snark'
	ln -s /path/to/snark /path/to/clicl/snark

4) Install PHP (if using Weblog)

o  Should already be available in Linux/OS X

o  Necessary to use HTMLPurifier (http://htmlpurifier.org/)

5) Compile CLICL

	cd /path/to/clicl
	make


6) Run

o  To run ESODATALOG on a single ESODB predicate 'color' on
   'examples/esodatalog/mapcoloring' with output to file 'out':
	./bin/esodatalog color ./examples/esodatalog/mapcoloring ./out

o  To start Lisp with the clicl library already loaded
	./bin/clicl

Note: To set clicl parameters, edit the file bin/clicl-init.lisp.


7) To quit Lisp:

	1> (quit)
	? (quit)