Xref: utzoo comp.lang.prolog:2170 comp.lang.lisp:2437 comp.lang.scheme:927
Path: 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

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