sg@doc.ic.ac.uk (Steve Gregory) (04/23/86)
SEQUENTIAL PARLOG MACHINE
We are now distributing the first release of our sequential PARLOG
system, to run on Unix machines. This system is based on an abstract
instruction set -- the SPM (Sequential PARLOG Machine) -- designed for
the sequential implementation of PARLOG. The system comprises an SPM
emulator, written in C; a PARLOG-SPM compiler, written in PARLOG; and a
query interpreter also written in PARLOG. An environment allows users to
create, compile, edit and run programs.
The system is a fairly complete implementation of the PARLOG language.
Unlike previous implementations of PARLOG, and of other parallel logic
programming languages, there is no "flat" requirement for guards; guards
may contain any "safe" PARLOG conjunction. A powerful metacall facility is
provided.
The SPM instruction set was designed by Steve Gregory. The system has
been implemented by Alastair Burt, Ian Foster, Graem Ringwood and Ken
Satoh, with contributions by Tony Kusalik. The work has been supported
by the SERC, ICL and Fujitsu.
The SPM system is currently available, in object form, for the Sun
and Vax under Unix 4.2; it is distributed on a tar format tape, which
includes all documentation. Anyone interested in obtaining a copy should
first contact me at the following address, to request a copy of the licence
agreement. The software will then be shipped on receipt of the completed
licence and prepayment of the handling fee.
Steve Gregory Telephone: +44 1 589 5111
Dept. of Computing Telex: 261503 IMPCOL G
Imperial College JANET: sg@uk.ac.ic.doc
London SW7 2BZ ARPANET: sg%icdoc@ucl-cs.arpa
England uucp: ...!mcvax!ukc!icdoc!sg