Xref: utzoo comp.lang.prolog:2179 comp.lang.lisp:2439 comp.lang.scheme:928
Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!shadooby!samsung!emory!cambridge.apple.com!bloom-beacon!eru!luth!sunic!mcsun!inria!crcge1!adams
From: adams@crcge1.UUCP (Drew Adams)
Newsgroups: comp.lang.prolog,comp.lang.lisp,comp.lang.scheme
Subject: Re: Prolog or deduction/Unification in Common Lisp, Scheme or Pearl wanted
Summary: Ref. to article on unification in SCHEME
Keywords: LISP PROLOG
Message-ID: <4857@crcge1.UUCP>
Date: 23 Nov 89 11:13:10 GMT
References: <14653@well.UUCP> <1989Nov23.000151.15342@eddie.mit.edu>
Reply-To: adams@crcge1.UUCP (Drew Adams)
Organization: Laboratoires de Marcoussis (CGE) - France
Lines: 13

Concerning  unification and  SCHEME, you  might be  interested in the
following article.  The authors have implemented unification etc.  as
a SCHEME 'primitive'.  

	"Nondeterminism and Unification in LogScheme: Integrating Logic and
	Functional Programming", by Erik Ruf and Daniel Weise, pp. 340-346 in 
	Proceedings of the 4th Intl. Conf. on Functional Programming
	Languages and Computer Architecture, ACM, September 11-13, 1989,
	London.
-- 
Drew ADAMS, Laboratoires de Marcoussis, Centre de Recherches de la Compagnie 
            Generale d'Electricite, Route de Nozay, 91460 MARCOUSSIS, FRANCE
            Tel. +33 (1) 64.49.11.54, adams@crcge1.cge.fr ["one", not "ell"]