Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!nrl-cmf!ukma!xanth!mcnc!ece-csc!ncrcae!ncrlnk!uunet!mcvax!ukc!harrier.ukc.ac.uk!eagle.ukc.ac.uk!icdoc!doc.ic.ac.uk!sg
From: sg@doc.ic.ac.uk (Steve Gregory)
Newsgroups: comp.lang.prolog
Subject: PARLOG for Mac and PC
Message-ID: <674@gould.doc.ic.ac.uk>
Date: 10 Feb 89 16:38:35 GMT
Sender: news@doc.ic.ac.uk
Reply-To: sg@doc.ic.ac.uk (Steve Gregory)
Organization: Dept. of Computing, Imperial College, London, UK.
Lines: 34

The parallel logic programming language PARLOG is now available for
the Apple Macintosh (TM) and IBM-PC families of microcomputers.  Two
new products -- MacPARLOG and PC-PARLOG -- have just been released, to
coincide with Addison-Wesley's recent publication of the tutorial book
"Programming in PARLOG" by Tom Conlon.

MacPARLOG and PC-PARLOG are full implementations of PARLOG, including
both parallel and sequential operators, "deep" guards, control
metacalls, and a wide range of primitives.  Other features include:

*    A "lazy" incremental compiler.

*    A concurrent window-oriented debugger.  This includes features
     analogous to those provided by Prolog debuggers: (no)trace,
     (no)debug, (no)spy, etc.  Traces the events: CALL, SUSPEND,
     RETRY, REDUCE, SUCCEED, FAIL.  Each process is traced in its own
     dynamically-created window.

*    Automatic display of incrementally-generated variable bindings in
     independent windows.

MacPARLOG is fully integrated into the Macintosh WIMP environment,
while PC-PARLOG provides a more conventional command-style user
interface.  Both systems are inexpensive and are especially suitable
for educational and experimental use.

For full details write to:

     Parallel Logic Programming Ltd.
     PO Box 49
     Twickenham TW2 5PH
     England

(please do not use email).