CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

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, Imperial College, 180 Queen's Gate, London SW7 2BZ UK Contact: Damian Chu (IC Prolog II) Zacharias Bobolakis (L&O) Keywords: 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 References: 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. Copies of 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