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

Article View: comp.lang.prolog

Article #529

#529

From: Peter G Ludemann
Date: Fri, 01 Dec 1989 04:22

14 lines
1037 bytes

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.

Technical Details

Message-ID: <24618@cup.portal.com>

Path: arc1-ca.pugleaf.net!utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!wuarchive!usc!apple!fox!portal!cup.portal.com!pgl

References: <14653@well.UUCP>

Show Full Headers

Complete Article Headers

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

Reply to Parent Message