			IC PROLOG ][
			============

This is a beta-release of the IC-Prolog ][ system.

IC-Prolog ][ (or ICP for short) is a multi-threaded Prolog system.  Multiple
threads allow queries to be executed concurrently.  ICP also has an interface
to Unix TCP/IP system calls.  This interface together with multiple threads
enables distributed applications to be written in Prolog.

Parlog has been integrated with IC-Prolog ][ as a separate thread, so
applications may be written in either language depending on which is more
suitable.

Logic & Objects (L&O) is an object-oriented layer on top of Prolog.  This
gives a powerful structuring mechanism for Prolog programs as well as
providing a logical interpretation of inheritance and other object-oriented
features.

The system also includes a version of a simple expert system shell: skilaki.

The distribution has been tested on Sun-3 and Sun-4 (Sparcs) running
SunOS 4.1 or later.

The files/directories is this distribution are as follows :

	README		- this file
	prolog		- run time system files for Prolog
	parlog		- run time system files for Parlog
	lo		- files relating to Logic & Objects system
	skilaki		- files relating to skilaki expert system shell
	install		- files needed for installation procedure
	doc		- documentation in DVI format
	info		- info nodes for use as on-line manual
	bin		- executables
	include		- header files
	examples	- example programs

To install the system, modify the pathnames in the first three lines
of Makefile and type

	make install



Further Details
---------------
The first three lines are the three installation directories (run-time
system, binaries, on-line info files).  The simplest installation
is to leave the files where they are.  This is done by defining
INSTALLDIR to be `pwd` (the default).

BINDIR is where you wish to put the scripts.  This should be a directory
commonly found in a user's path e.g. /usr/local/bin.
 
The directory `info' contains info nodes that can be used as an on-line
manual in conjunction with GNU emacs or the info program.  If you wish
to use these info files, you should edit the Makefile to specify your
info directory (by default /usr/local/emacs/info) and then add the entries 

	* ICP: (icp.info).          IC prolog ][
	* Parlog: (parlog.info).    Parlog

to the file `dir' in your info directory.

The documentation is incomplete at the moment.  There are gaps in the
manual and the new features are explained only in outline form.  This
will be improved as tutorials are being written and the manual is
re-worked.  Future releases will incorporate the new documentation.

Any bugs or comments should be send to :

Damian Chu (dac@doc.ic.ac.uk)
Dept. of Computing,
Imperial College,
180 Queen's Gate,
London  SW7 2BZ
UK

24th March 1993
