Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!cs.utexas.edu!uunet!mcsun!cernvax!unizh!fuchs
From: fuchs@unizh.UUCP (fuchs)
Newsgroups: comp.lang.prolog
Subject: Re: More fun with WG17
Message-ID: <310@unizh.UUCP>
Date: 13 Nov 89 18:09:30 GMT
References: <2609@munnari.oz.au> <696@sce.carleton.ca> <2643@munnari.oz.au> <1354@gould.doc.ic.ac.uk> <2688@munnari.oz.au>
Sender: <unizh!gorgo!fuchs>
Reply-To: fuchs@gorgo.UUCP ()
Organization: Inst. fuer Informatik, Univ. Zuerich, Switzerland
Lines: 12

>  That is exactly what I tried to do in 1984:  my document about Prolog
>  evaluable predicates and my posting of public-domain code for read/1
>  and friends, write/1 and friends, setof/3 and friends, and a top level,
>  they were all an attempt to get the Prolog community interested in a
>  co-operative development of a new compatible edition of the language.

Richard,

where does one find your 1984 formal definition of Prolog? Would you care
to put it on comp.lang.prolog?

   --- nef