Xref: utzoo comp.lang.prolog:2196 comp.lang.lisp:2509 comp.lang.scheme:942
Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!wuarchive!usc!apple!fox!portal!cup.portal.com!pgl
From: pgl@cup.portal.com (Peter G Ludemann)
Newsgroups: comp.lang.prolog,comp.lang.lisp,comp.lang.scheme
Subject: Re: Prolog or deduction/Unification in Common Lisp, Scheme or P
Message-ID: <24618@cup.portal.com>
Date: 1 Dec 89 04:22:52 GMT
References: <14653@well.UUCP>
Organization: The Portal System (TM)
Lines: 14

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.