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

Article View: comp.lang.prolog

Article #487

#487

From: Drew Adams
Date: Thu, 23 Nov 1989 11:13

13 lines
1349 bytes

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"]

Technical Details

Message-ID: <4857@crcge1.UUCP>

Path:

arc1-ca.pugleaf.net!utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!shadooby!samsung!emory!cambridge.apple.com!bloom-beacon!eru!luth!sunic!mcsun!inria!crcge1!adams

References: <14653@well.UUCP> <1989Nov23.000151.15342@eddie.mit.edu>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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

Reply to Parent Message