sg@icdoc.UUCP (06/15/85)
Anyone interested in using PARLOG (the PARallel LOGic programming
language) can now obtain copies of the system via USENET.
The PARLOG system is freely available for research use, and runs on
top of a Prolog system. Two versions are available: for C-Prolog and
for LPA sigma-PROLOG. Please state which version you require. The
system is based on a technique of compilation to Prolog; it runs
PARLOG programs at a speed of up to 20% of that of the host Prolog
system. A manual "How to use PARLOG" will be included (by snail mail).
There are many papers available on PARLOG; please request those you
need. The most important is
PARLOG: parallel programming in logic. Clark & Gregory. DOC 84/4.
Others include:
PARLOG for discrete event simulation. Broda & Gregory. DOC 84/5.
PARLOG for specification, verification and simulation. Gregory,
Neely and Ringwood. DOC 85/7.
Notes on systems programming in PARLOG. Clark & Gregory. DOC 84/15.
Notes on the implementation of PARLOG. Clark & Gregory. DOC 84/16.
A standalone, portable implementation of PARLOG (written in C) is also
being developed. It should be available later this year.
Steve Gregory, Dept. of Computing, Imperial College, London SW7 2BZ, UK.
ARPA: sg%icdoc@ucl-cs.arpa
USENET: <UK>!ukc!icdoc!sg
--
Steve Gregory, Dept. of Computing, Imperial College, London SW7 2BZ.
ARPA: sg%icdoc@ucl-cs.arpa
USENET: <UK>!ukc!icdoc!sg