steve@compsci.bristol.ac.uk (07/31/90)
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