Path: utzoo!attcan!uunet!aplcen!samsung!sol.ctr.columbia.edu!emory!hubcap!steve
From: steve@compsci.bristol.ac.uk
Newsgroups: comp.parallel
Subject: PARLOG for microcomputers
Message-ID: <9914@hubcap.clemson.edu>
Date: 30 Jul 90 19:32:03 GMT
Sender: fpst@hubcap.clemson.edu
Reply-To: Steve Gregory <steve@compsci.bristol.ac.uk>
Organization: Dept of Computer Science, University of Bristol, UK.
Lines: 35
Approved: parallel@hubcap.clemson.edu

Version 2.0 of MacParlog and PC-Parlog has recently been released.  These
are implementations of the concurrent logic programming language Parlog for
Macintosh and IBM PC compatible microcomputers, respectively.  The new
version represents a major upgrade over version 1.0, which was released in
early 1989.

MacParlog and PC-Parlog are especially suitable for learning the techniques
of concurrent logic programming, and concurrency in general, and for
prototyping concurrent software.  Some of the principal features of the
systems are:

*  Complete implementations of the Parlog language, including `deep guards',
   unification, control metacalls, sequencing, an all-solutions sub-
   language, and a large number of primitives.

*  High-level concurrent I/O facilities, featuring dynamic display of output
   and asynchronous input from the user, all via windows.

*  Two kinds of debugging tool.  A process tracer displays the execution of
   each process in its own dynamically-created window.  Channel spying
   allows the communication on each channel (variable) to be viewed, again
   in separate windows.

*  Friendly environment, especially MacParlog which fully utilizes the
   Macintosh WIMP facilities.

*  Documentation, including a comprehensive User's Guide and a tutorial book
   (Programming in Parlog by Tom Conlon, Addison-Wesley, 1989).

Full details are available from:

Parallel Logic Programming Ltd.                     Telephone +44 454 201652
PO Box 49
Twickenham TW2 5PH
UK