From: John
Subject: Prolog for sbcl or cmucl.
Date: Mon, 29 Aug 2005 01:18:30 +0000
Message-ID: <slrndh4oj6.4fm.EdhEGff7@mailinator.com>

Is there a free prolog implementation that runs on sbcl or cmucl? It
doesn't have to be complete.

• Re: Prolog for sbcl or cmucl. Wade Humeniuk
  • Re: Prolog for sbcl or cmucl. Christophe Rhodes
    • Re: Prolog for sbcl or cmucl. John

From: Wade Humeniuk
Subject: Re: Prolog for sbcl or cmucl.
Date: Mon, 29 Aug 2005 01:26:47 +0000
Message-ID: <rvtQe.199569$9A2.191663@edtnps89>

John wrote:
> Is there a free prolog implementation that runs on sbcl or cmucl? It
> doesn't have to be complete.

Try Peter Norvig's code from PAIP,

A listing of code from his book can be found @

http://www.norvig.com/paip/README.html

Scroll down and look for files like *prolog*.lisp

Wade

From: Christophe Rhodes
Subject: Re: Prolog for sbcl or cmucl.
Date: Mon, 29 Aug 2005 09:23:39 +0000
Message-ID: <sq1x4dxfj8.fsf@cam.ac.uk>

Wade Humeniuk <··················@telus.net> writes:

> John wrote:
>> Is there a free prolog implementation that runs on sbcl or cmucl? It
>> doesn't have to be complete.
>
> Try Peter Norvig's code from PAIP,
>
> A listing of code from his book can be found @
>
> http://www.norvig.com/paip/README.html

If you want one that actually runs on sbcl or cmucl, you can try
<http://www-jcsu.jesus.cam.ac.uk/~csr21/paiprolog-0.0.svn30.tar.gz>.
(Norvig's code shows its age in some respects, notably package
discipline).  The engine in that tarball has also been updated to
conform to ISO prolog semantics, including (I think) slightly complex
cases involving the cut.

Christophe

From: John
Subject: Re: Prolog for sbcl or cmucl.
Date: Mon, 29 Aug 2005 14:15:16 +0000
Message-ID: <slrndh663l.7f3.2t7YQKz2@mailinator.com>

On 2005-08-29, Christophe Rhodes <·····@cam.ac.uk> wrote:
>  If you want one that actually runs on sbcl or cmucl, you can try
> <http://www-jcsu.jesus.cam.ac.uk/~csr21/paiprolog-0.0.svn30.tar.gz>.
>  (Norvig's code shows its age in some respects, notably package
>  discipline).  The engine in that tarball has also been updated to
>  conform to ISO prolog semantics, including (I think) slightly complex
>  cases involving the cut.

Thanks.