From: Jordan Bortz
Subject: Prolog or deduction/Unification in Common Lisp, Scheme or Pearl wanted
Date:
Message-ID: <14653@well.UUCP>
Does anyone out there have common-lisp code (pref. runs under Pearl
on the Mac) to do Prolog-style deductions and unification??
Could you mail me the code??
Jordan
(Also, Xscheme code would be workable, also)
--
***********************************************************************
* Jordan A. Bortz, Higher Level Software, Santa Cruz, CA *
* well!frobozz ·······@well.sf.ca.us 408 - 476 - 8464 *
***********************************************************************
From: Jeffrey Siegal
Subject: Re: Prolog or deduction/Unification in Common Lisp, Scheme or Pearl wanted
Date:
Message-ID: <1989Nov23.000151.15342@eddie.mit.edu>
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
From: Drew Adams
Subject: Re: Prolog or deduction/Unification in Common Lisp, Scheme or Pearl wanted
Date:
Message-ID: <4857@crcge1.UUCP>
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, ·····@crcge1.cge.fr ["one", not "ell"]
From: Peter G Ludemann
Subject: Re: Prolog or deduction/Unification in Common Lisp, Scheme or P
Date:
Message-ID: <24618@cup.portal.com>
Not in Lisp or Scheme put possibly useful:
"Unification-based Conditional Binding Constructs" by Harvey Abramson,
Proceedings of the 1st International Logic Programming Conference,
Marseilles: Sept. 14-17, 1982
(also UBC CompSci TR 82-7)
"A Prological Definition of HASL a Purely Functional Language with
Unification Based Conditional Binding Expressions" by Harvey Abramson
(University of British Columbia Computer Science TR 83-8)
(also published but I don't recall where right now -- if you're
interested, send me a note)
The latter contains a complete Prolog program.