Path: utzoo!censor!geac!torsqnt!jarvis.csri.toronto.edu!cs.utexas.edu!uwm.edu!ogicse!emory!hubcap!mmh
From: mmh@cs.qmw.ac.uk (Matthew Huntbach)
Newsgroups: comp.parallel
Subject: Re: Parlog ???
Keywords: parlog parallel logic
Message-ID: <8205@hubcap.clemson.edu>
Date: 2 Mar 90 13:17:17 GMT
Sender: fpst@hubcap.clemson.edu
Lines: 50
Approved: parallel@hubcap.clemson.edu

In article <8189@hubcap.clemson.edu> coop@panther.cerc.wvu.wvnet.edu writes:
>I have noticed several mentions of Parlog on the net, and it looked like
>a parallel implementation of Prolog. Where can I get any documentation on it,
>or any other parallel-oriented logic-based languages ?
>
No, it's not a parallel implementation of Prolog. Backtracking
plays a fundamental part in Prolog, but Parlog and the other
concurrent logic languages don't have it. On the other hand,
their concurrency introduces a whole new dimension to logic
programming. Better to think of it as another sort of logic
programming language.

The commercial version of Parlog is called "Strand".
It is available from:

        Strand Software Technologies
        Artificial Intelligence Ltd
        Greycaine Road
        Watford
        Hertfordshire WD2 4JP
        England

        Tel. 0923 247707

They also have a USA distributor:

        Strand Software Technologies Inc
        15220 N W Greenbrier
        Parkway, Suite 350
        Beaverton
        OR 97006
        USA

        Tel. (503) 690-9830

They will also provide you with a book on programming in the
language by Steve Taylor and Ian Foster (I can't remember the details of
this book).

Another book is "Programming in Parlog" by Tom Conlon,
published by Addison-Wesley. I don't really like this book, but
since there's very little else in book form, it's worth getting.

A recent edition of ACM Computing Surveys had a paper by
Ehud Shapiro on the concurrent logic languages, with an extensive
bibliography. If you're interested in the technical and
theoretical details behind the languages, this would be a good
starting place.

Matthew Huntbach