🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: comp.lang.prolog
Article #472

Re: More fun with WG17

#472
From: fuchs
Date: Mon, 13 Nov 1989 18:09
12 lines
1026 bytes
>  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
Technical Details
Message-ID: <310@unizh.UUCP>
Path: arc1-ca.pugleaf.net!utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!cs.utexas.edu!uunet!mcsun!cernvax!unizh!fuchs
References: <2609@munnari.oz.au> <696@sce.carleton.ca> <2643@munnari.oz.au> <1354@gould.doc.ic.ac.uk> <2688@munnari.oz.au>

Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!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