Xref: utzoo comp.lang.prolog:2156 comp.lang.lisp:2424 comp.lang.scheme:921 Path: utzoo!attcan!uunet!aplcen!samsung!think!ames!amdahl!pacbell!well!frobozz From: frobozz@well.UUCP (Jordan Bortz) Newsgroups: comp.lang.prolog,comp.lang.lisp,comp.lang.scheme Subject: Prolog or deduction/Unification in Common Lisp, Scheme or Pearl wanted Message-ID: <14653@well.UUCP> Date: 20 Nov 89 20:53:47 GMT Lines: 15 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 frobozz@well.sf.ca.us 408 - 476 - 8464 * ***********************************************************************