CMU Artificial Intelligence Repository
ICP: IC-Prolog ][, a multi-threaded Prolog implementation
suitable for distributed applications.
IC-Prolog ][ (ICP) is a multi-threaded Prolog system developed at
Imperial College. Multiple threads allow queries to be executed
concurrently. ICP also has an interface to Unix TCP/IP system calls
and "mailboxes", a high level communication system. This interface
together with multiple threads enables distributed applications (such
as client/server systems) to be written in Prolog.
The package also includes a preprocessor for the Logic & Objects (L&O)
object-oriented extension to 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 sources for the L&O extension is also available to LPA MacProlog
users in the subdirectory 'lo'.)
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. (Standalone versions of the Parlog system for Sun-3 and
Sun-4 can be found in the parlog/ directory.)
The package also includes a simple expert system shell called Skilaki.
Version: ICP 0.96 (28-SEP-93); Parlog 1.5.9 (29-SEP-93)
Ports: The distribution has been tested on Sun3 and Sun4
running SunOS 4.1 or later. At present the emulator is
available only in binary form. Source code may be
released later when project finishes.
Copying: Copyright (c) 1992-93 Imperial College, London.
Use, copying, and distribution permitted.
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Author(s): Damian Chu
Dept. of Computing,
180 Queen's Gate,
London SW7 2BZ
Contact: Damian Chu (IC Prolog II)
Zacharias Bobolakis (L&O)
Authors!Chu, Concurrency, Distributed Applications,
Expert System Shells, IC-Prolog ][, ICP, Imperial College,
Logic Programming, Multiple Threads, OOP!Prolog,
Parallel Prolog, Parlog, Programming Languages!Prolog,
Prolog!Implementations, Skilaki, TCP/IP Interface
PostScript versions of the following papers are included in papers.tar:
Damian Chu and Keith Clark, "IC Prolog II: a Multi-threaded
Prolog System", September 1, 1993.
Damian Chu, "IC Prolog II: a Language for Implementing
Multi-Agent Systems", July 4, 1993.
Jim Crammond, Andrew Davison, Alastair Burt, Matthew Huntbach, Melissa
Lam, Yannis Cosmadopoulos, and Damian Chu, "The Parallel Prolog User
Manual v1.5.7", Department of Computing, Imperial College, London,
July 14, 1993.
Yannis Cosmadopoulos and Damian Chu, "IC Prolog ][ Version 0.95 for
Sun Workstations", Department of Computing, Imperial College, London,
July 30, 1993.
are included in the distribution.
For information on L&O, see
Francis G. McCabe, "Logic & Objects", Prentice Hall, 1992.
Last Web update on Mon Feb 13 10:35:00 1995