[net.lang.prolog] DEC-10 Prolog Version Of Kornfeld's Prolog-With-Equality

LEJm@EDXA@sri-unix.UUCP (10/04/83)

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