Theorist

Article View: comp.lang.prolog

Article #1596

#1596

From: Ketola Aarne Vesa Pekka
Date: Wed, 07 Oct 1992 15:32

10 lines
831 bytes

I'm looking for a Theorist, that works with Mac LPAProlog.
Let me know if you have one.

-Pekka
cskeaa@vehka.cs.uta.fi
--
##########################  'Contrariwise', continued Tweedledee,'if it was
     Pekka Ketola        #    so, it might be; and if it were so, it would be;
  Keskisenkatu 6 K 63    #    but as it isn't, it ain't. That's logic.'
 33710 TAMPERE,  FINLAND #    (Lewis Carroll, 1871)

Technical Details

Message-ID: <6919@kielouta.fi>

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!news.funet.fi!uta!vehka.cs.uta.fi!cskeaa

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!news.funet.fi!uta!vehka.cs.uta.fi!cskeaa
From: cskeaa@vehka.cs.uta.fi (Ketola Aarne Vesa Pekka)
Newsgroups: comp.lang.prolog
Subject: Theorist
Message-ID: <6919@kielouta.fi>
Date: 7 Oct 92 15:32:07 GMT
Sender: news@uta.fi
Reply-To: cskeaa@vehka.cs.uta.fi (Ketola Aarne Vesa Pekka)
Distribution: world
Organization: University of Tampere, Finland
Lines: 10
Nntp-Posting-Host: vehka