Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!linus!philabs!seismo!hao!hplabs!sri-unix!LEJm@EDXA
From: LEJm@EDXA@sri-unix.UUCP
Newsgroups: net.lang.prolog
Subject: DEC-10 Prolog Version Of Kornfeld's Prolog-With-Equality
Message-ID: <12376@sri-arpa.UUCP>
Date: Mon, 3-Oct-83 17:30:33 EDT
Article-I.D.: sri-arpa.12376
Posted: Mon Oct  3 17:30:33 1983
Date-Received: Mon, 10-Oct-83 09:39:18 EDT
Lines: 12

From:  Luis HPS (on ERCC DEC-10) <LEJm@EDXA>

Someone submitted to the net a few weeks (months ?) ago a DEC-10
Prolog version of some of Bill Kornfeld's code to compute with
partially-instantiated objects ("omega" objects).  I thought I
had archived it but can't find where and I am still interested
in experimenting with it. Does anyone out there have it?

Thanks,

-- Luis Jenkins
   LEJm%EDXA@UCL-CS