Re: Prolog or deduction/Unification in Common Lisp, Scheme or Pearl wanted

Article View: comp.lang.prolog

Article #486

#486

From: Jeffrey Siegal
Date: Thu, 23 Nov 1989 00:01

6 lines
809 bytes

There is Scheme unification and deduction code in
_Structure_and_Interpretation_of_Computer_Programs_ by Abelson and
Sussman.  However, I recall (vaguely) that there is a bug in the
unification code.

Jeffrey Siegal

Technical Details

Message-ID: <1989Nov23.000151.15342@eddie.mit.edu>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!purdue!tut.cis.ohio-state.edu!snorkelwacker!mit-eddie!fenchurch!jbs

References: <14653@well.UUCP>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!purdue!tut.cis.ohio-state.edu!snorkelwacker!mit-eddie!fenchurch!jbs
From: jbs@fenchurch.mit.edu (Jeffrey Siegal)
Newsgroups: comp.lang.prolog,comp.lang.lisp,comp.lang.scheme
Subject: Re: Prolog or deduction/Unification in Common Lisp, Scheme or Pearl wanted
Message-ID: <1989Nov23.000151.15342@eddie.mit.edu>
Date: 23 Nov 89 00:01:51 GMT
References: <14653@well.UUCP>
Sender: news@eddie.mit.edu (Usenet News)
Reply-To: jbs@fenchurch.UUCP (Jeffrey Siegal)
Organization: MIT, EE/CS Computer Facilities, Cambridge, MA
Lines: 6

Reply to Parent Message