From: Todd Pierce
Subject: Best Prolog Emulator?
Date: 
Message-ID: <b95cb1a3.0408141854.5e9e83cf@posting.google.com>
Hey Gang, 

I'm looking for a prolog emulator for Common LISP.  I don't need
anything that full-featured, in fact simpler is better, but it would
be very nice if it were fast.

Is there anything out there that is say, 'standard' or something?  It
would be nice if it were rather commonly used as well.

-Todd
From: mikel
Subject: Re: Best Prolog Emulator?
Date: 
Message-ID: <UzBTc.4536$FT6.1369@newssvr27.news.prodigy.com>
Todd Pierce wrote:
> Hey Gang, 
> 
> I'm looking for a prolog emulator for Common LISP.  I don't need
> anything that full-featured, in fact simpler is better, but it would
> be very nice if it were fast.
> 
> Is there anything out there that is say, 'standard' or something?  It
> would be nice if it were rather commonly used as well.

Norvig has a Prolog compiler written in Common Lisp in his book 
_Paradigms of Artificial Intelligence Programming_. I based a 
Prolog-style unification engine on it for a commercial product about a 
dozen years ago, and recently someone posted here that they're doing the 
same. Seems like it would serve, and it's pretty easy to understand, and 
pretty thoroughly explained in the text.
From: Kevin Layer
Subject: Re: Best Prolog Emulator?
Date: 
Message-ID: <mkpt5nynbd.fsf@*n*o*s*p*a*m*franz.com>
···········@hotmail.com (Todd Pierce) writes:

> Hey Gang, 
> 
> I'm looking for a prolog emulator for Common LISP.  I don't need
> anything that full-featured, in fact simpler is better, but it would
> be very nice if it were fast.
> 
> Is there anything out there that is say, 'standard' or something?  It
> would be nice if it were rather commonly used as well.
> 
> -Todd

http://www.franz.com/support/tech_corner/#prolog-071504

It's available for the Trial Edition, too.

Kevin
From: Rahul Jain
Subject: Re: Best Prolog Emulator?
Date: 
Message-ID: <878yc2r2ts.fsf@nyct.net>
···········@hotmail.com (Todd Pierce) writes:

> Hey Gang, 
>
> I'm looking for a prolog emulator for Common LISP.  I don't need
> anything that full-featured, in fact simpler is better, but it would
> be very nice if it were fast.
>
> Is there anything out there that is say, 'standard' or something?  It
> would be nice if it were rather commonly used as well.

Kevin already mentioned Franz's product, but Xanalys (wake up, Xanalys
employees!) has KnowledgeWorks in their LispWorks product, which
provides a programmable prolog-like environment.

The one in PAIP is not very fast by Norvig's own admission, but it may
be fast enough for you with a highly optimizing compiler like sbcl or
cmucl.

-- 
Rahul Jain
·····@nyct.net
Professional Software Developer, Amateur Quantum Mechanicist
comp.lang.lisp / 2004 / aug