PARLOG for Unix

Article View: net.lang.prolog

Article #591

#591

From: Steve Gregory
Date: Wed, 23 Apr 1986 17:08

34 lines
2439 bytes

                       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

Technical Details

Message-ID: <319@ivax.doc.ic.ac.uk>

Path:

arc1-ca.pugleaf.net!utzoo!watmath!clyde!burl!ulysses!allegra!mit-eddie!genrad!panda!talcott!harvard!caip!seismo!mcvax!ukc!icdoc!sg

Show Full Headers

Complete Article Headers

Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: arc1-ca.pugleaf.net!utzoo!watmath!clyde!burl!ulysses!allegra!mit-eddie!genrad!panda!talcott!harvard!caip!seismo!mcvax!ukc!icdoc!sg
From: sg@doc.ic.ac.uk (Steve Gregory)
Newsgroups: net.lang.prolog,net.ai
Subject: PARLOG for Unix
Message-ID: <319@ivax.doc.ic.ac.uk>
Date: Wed, 23-Apr-86 13:08:55 EDT
Article-I.D.: ivax.319
Posted: Wed Apr 23 13:08:55 1986
Date-Received: Sun, 27-Apr-86 07:16:57 EDT
Sender: sg@doc.ic.ac.uk
Reply-To: sg@doc.ic.ac.uk (Steve Gregory)
Organization: Dept. of Computing, Imperial College, London, UK.
Lines: 34