[comp.lang.prolog] Prolog III

gessel@cs.swarthmore.edu (Daniel Mark Gessel) (07/07/90)

There's a specification of Prolog III in the latest issue of Communications
of the ACM.

My experience suggests that if I write an Implementation of it, I'm free to
do what I want with it (i.e. sell it), But I don't know this for a fact.

Does anyone?

(This may have belonged on some other newsgroup, but I figured people here
may be thinking the same thing).

Thanks in advance,

Dan

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

gessel@cs.swarthmore.edu (Daniel Mark Gessel) (07/08/90)

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

purvis@niccolo.sw.mcc.com (M Purvis) (10/06/90)

Is there a UNIX version of Prolog III available?

Thanks,
Martin Purvis
-- 
Martin Purvis
purvis@mcc.com