From: Mark Watson
Subject: Q: Prolog implemented in Common LISP?
Date: 
Message-ID: <8c3fdj$vqg$1@nnrp1.deja.com>
Hello all,

Years ago at SAIC, my friend Jerry Jackson wrote a very nice Prolog
system in Common LISP, which unfortunately, I no longer have. Are there
any freely available Prolog systems that are implemented in Common LISP?

Thanks,
Mark

--
Mark Watson www.markwatson.com


Sent via Deja.com http://www.deja.com/
Before you buy.

From: Jochen Schmidt
Subject: Re: Q: Prolog implemented in Common LISP?
Date: 
Message-ID: <38E57C4A.54B18AC0@gmx.de>
Mark Watson wrote:
> 
> Hello all,
> 
> Years ago at SAIC, my friend Jerry Jackson wrote a very nice Prolog
> system in Common LISP, which unfortunately, I no longer have. Are there
> any freely available Prolog systems that are implemented in Common LISP?
> 
> Thanks,
> Mark
> 
> --
> Mark Watson www.markwatson.com
> 
> Sent via Deja.com http://www.deja.com/
> Before you buy.

I know of two systems described in following books:

1. On Lisp - Paul Graham
2. Paradigms of artificial intelligence programming (PAIP) - Peter
Norvig 

-- 
sincerely Yours,
Jochen Schmidt
···@dataheaven.de
http://www.dataheaven.de
From: Will Deakin
Subject: Re: Q: Prolog implemented in Common LISP?
Date: 
Message-ID: <8c5p7n$esv$1@epos.tesco.net>
Jochen Schmidt:
>I know of two systems described in following books:
>
>1. On Lisp - Paul Graham
>2. Paradigms of artificial intelligence programming (PAIP) - Peter
>Norvig

Of the two which is better? The reason for this is that, as far as I understand
it (which isn't far), the `On Lisp' Prolog system is based on implementing
call/cc. And having followed a very interesting thread on this newsgroup in the
not-too-distant-past in which the consensus appeared to be that call/cc is
probably a bad idea, I would suggest that you look in the Norvig direction. You
can download the source but also have a look at the errata for the book.

Oh, have a look at poplog. Again (unless my memory has failed me once again)
this may have what you are looking for. But since I've never used I don't know
for sure,

Best Regard,

:) will
From: Tim Bradshaw
Subject: Re: Q: Prolog implemented in Common LISP?
Date: 
Message-ID: <ey3d7o81t28.fsf@cley.com>
* Will Deakin wrote:
> Of the two which is better? The reason for this is that, as far as I understand
> it (which isn't far), the `On Lisp' Prolog system is based on implementing
> call/cc. And having followed a very interesting thread on this newsgroup in the
> not-too-distant-past in which the consensus appeared to be that call/cc is
> probably a bad idea, I would suggest that you look in the Norvig direction. You
> can download the source but also have a look at the errata for the book.

I think they're both pretty rotten compared to a proper prolog,
because they don't do any of the clever optimisations you need to make
prolog actually run fast.

(However this is from memory, I don't have either to hand.)

--tim
From: Will Deakin
Subject: Re: Q: Prolog implemented in Common LISP?
Date: 
Message-ID: <8c8gde$ri2$1@epos.tesco.net>
Tim wrote:
>I think they're both pretty rotten compared to a proper prolog,
>because they don't do any of the clever optimisations you need to make
>prolog actually run fast.

This is my impression too. From memory there are optimisation suggested in the
book but would need working through

Cheers,

:) will
From: Tom Breton
Subject: Re: Q: Prolog implemented in Common LISP?
Date: 
Message-ID: <m3g0t54pbf.fsf@world.std.com>
Mark Watson <···········@my-deja.com> writes:

> Hello all,
> 
> Years ago at SAIC, my friend Jerry Jackson wrote a very nice Prolog
> system in Common LISP, which unfortunately, I no longer have. Are there
> any freely available Prolog systems that are implemented in Common LISP?

Frolic, which is available at the CMU repository.

-- 
Tom Breton, http://world.std.com/~tob
Not using "gh" since 1997. http://world.std.com/~tob/ugh-free.html
Rethink some Lisp features, http://world.std.com/~tob/rethink-lisp/index.html
From: Paolo Amoroso
Subject: Re: Q: Prolog implemented in Common LISP?
Date: 
Message-ID: <pfTlOBwQFNNXl5585ZU0NEHGNKnx@4ax.com>
On Sat, 01 Apr 2000 00:21:18 GMT, Mark Watson <···········@my-deja.com>
wrote:

> system in Common LISP, which unfortunately, I no longer have. Are there
> any freely available Prolog systems that are implemented in Common LISP?

I include below the relevant section of the comp.lang.lisp FAQ. Note that
the FAQ was last updated in 1997, so some addresses may no longer be valid.


Paolo

----------------------------------------------------------------
Subject: [6-7] Where can I get an implementation of Prolog in Lisp?

Implementations of Prolog in Lisp:

   The Frolic package from the University of Utah is written in Common Lisp
   and available by anonymous ftp from cs.utah.edu:/pub/frolic.tar.Z

   LM-PROLOG by Ken Kahn and Mats Carlsson is written in ZetaLisp and not
   easily portable to Common Lisp. It is available by anonymous ftp from
   sics.se:/archive/lm-prolog.tar.Z.

   Peter Norvig's book "Paradigms of AI Programming" includes Common Lisp
   implementations of a prolog interpreter and compiler. The software is
   available by anonymous ftp from unix.sri.com:/pub/norvig/ and on disk in
   Macintosh or DOS format from the publisher, Morgan Kaufmann.  For more
   information, contact: Morgan Kaufmann, Dept. P1, 2929 Campus Drive,
Suite
   260, San Mateo CA 94403, (800) 745-7323; FAX: (415) 578-0672

   Harlequin's LispWorks comes with Common Prolog -- a fast
   Edinburgh-compatible Prolog integrated with Common Lisp.  Write to:
   Harlequin Limited, Barrington Hall, Barrington, Cambridge, CB2 5RG, call
   0223 872522 (or 44223 872522 outside UK), telex 818440 harlqn g, fax
0223
   872519, or send email to ··@uk.co.harlqn (or ··@harlqn.co.uk for US
people).

   eLP (Ergo Lambda Prolog) is an interpreter written by Conal Elliott,
   Frank Pfenning and Dale Miller in Common Lisp and implements the core
   of lambda Prolog (higher-order hereditary Harrop formulas). It is
   embedded in a larger development environment called ESS (the Ergo
   Support System).  eLP implements all core language feature and offers
   a module system, I/O, some facilities for tracing, error handling,
   arithmetic, recursive top-levels, on-line documentation and a number
   of extended examples, including many programs from Amy Felty's and
   John Hannan's thesis.  It should run in Allegro Common Lisp, Lucid
   Common Lisp, Kyoto Common Lisp, CMU Common Lisp and Ibuki Common Lisp.
   The eLP implementation of lambda Prolog is no longer developed or
   maintained, but it is still available via anonymous ftp from
   ftp.cs.cmu.edu:/afs/cs.cmu.edu/project/ergo/export/ess/. The file
   ergolisp.tar.Z contains the Ergo project's extensions to Common Lisp,
   including some facilities for attributes and dealing with abstract
   syntax trees. The file sb.tar.Z contains the Ergo
   Parser/Unparser/Formatter generator and ab.tar.Z contains the Ergo
   Attribute Grammar facility. The file elp.tar.Z contains the Ergo
   implementation of lambda Prolog.  To customize grammars you need the
   sb.tar.Z file.  When you retrieve the system, please print, fill out,
   and send in a copy of the non-restrictive license you will find in the
   file LICENSE. To subscribe to the ···@cs.cmu.edu mailing list, send
   mail to ···········@cs.cmu.edu. Bugs should be sent to
   ········@cs.cmu.edu.

   The book "On Lisp" by Paul Graham includes an implementation of
   Prolog in Common Lisp. The code is available by anonymous ftp from
      endor.harvard.edu:/pub/onlisp
   and also in the CMU AI Repository as
      ftp.cs.cmu.edu:/user/ai/lang/lisp/bookcode/graham/

See the Scheme FAQ for information on implementations of Prolog in Scheme.

----------------------------------------------------------------


-- 
EncyCMUCLopedia * Extensive collection of CMU Common Lisp documentation
http://cvs2.cons.org:8000/cmucl/doc/EncyCMUCLopedia/
From: ········@cc.hut.fi
Subject: Re: Q: Prolog implemented in Common LISP?
Date: 
Message-ID: <m34s9k8f96.fsf@mu.tky.hut.fi>
> Subject: [6-7] Where can I get an implementation of Prolog in Lisp?

There's also Screamer, which isn't exactly Prolog but offers similar
functionality. The implementation is supposed to be extremely fast,
though I don't know of actual comparisons.

http://www.cis.upenn.edu/~screamer-tools/screamer-intro.html

Hannu Rummukainen
From: Espen Vestre
Subject: Re: Q: Prolog implemented in Common LISP?
Date: 
Message-ID: <w6d7o7sle4.fsf@wallace.nextel.no>
my favourite still is Uranus.  I don't know if it's still available
on ftp, though.
-- 
  (espen)
From: Jason Trenouth
Subject: Re: Q: Prolog implemented in Common LISP?
Date: 
Message-ID: <dimgesgilirrvnkka2rbedsh3m8j90r24n@4ax.com>
On Sat, 01 Apr 2000 00:21:18 GMT, Mark Watson <···········@my-deja.com> wrote:

> Hello all,
> 
> Years ago at SAIC, my friend Jerry Jackson wrote a very nice Prolog
> system in Common LISP, which unfortunately, I no longer have. Are there
> any freely available Prolog systems that are implemented in Common LISP?

FTR Jerry and his Prolog joined Harlequin after SAIC, and the Prolog became
part of LispWorks and KnowledgeWorks. Jerry is no longer at Harlequin (or
Xanalys), but his Prolog lives on.

__Jason