Path: utzoo!attcan!utgpu!news-server.csri.toronto.edu!mailrus!wuarchive!psuvax1!xavier!gessel
From: gessel@cs.swarthmore.edu (Daniel Mark Gessel)
Newsgroups: comp.lang.prolog
Subject: Prolog III
Summary: I need a syntactic specification for Prolog III
Keywords: Syntax
Message-ID: <3XAMV05@xavier.swarthmore.edu>
Date: 7 Jul 90 17:25:30 GMT
Sender: news@xavier.swarthmore.edu (Usenet News)
Organization: Swarthmore College, PA, USA
Lines: 21

There is an article in the July 1990 issue of Communications of the ACM about
Prolog III. It gives an explanation of semantic issues involved, from a
theoretical point of view, but there is no syntactic specification. 

Does anybody have any info on such a beast? 

There is a reference to:

Colmerauer A. Final specifications for Prolog III, Esprit I project,
P1106. February, 1988.

Does anyone know if this has what I want, and if it is available in a journal
or something?

Thanks,

Dan

--
Internet: gessel@cs.swarthmore.edu         
UUCP: {bpa,cbmvax}!swatsun!gessel