Hello. Are there any programs written in Lisp and Prolog together,such
as some codes in Prolog while some codes in Lisp? Many thanks in
advance.
Honghong Zhu
······@tntech.edu
In article <············@tntech.edu> Honghong Zhu <······@tntech.edu> writes:
>
> Hello. Are there any programs written in Lisp and Prolog together,such
> as some codes in Prolog while some codes in Lisp? Many thanks in
> advance.
>
The first prolog that I used was in fact embedded in Lisp with Lisp syntax (I
actually liked it better than the newer Prolog syntax). So there must be
available such embedded systems now (see the except from lisp FAQ below).
Do a search on "prolog" in your web browser and read the Lisp FAQ.
Here are a couple of really *old* pointers that I had filed away:
cs.utah.edu pub/frolic.tar.Z (Frolic is Prolog written in Common Lisp)
cpsc.ucalgary.ca pub/prolog1.1/prolog11.tar.Z (Prolog written in Scheme)
There is also something called "Poplog" which is a combination of Common
Lisp, Prolog and a language called Popplestone or Pop or some such (my
memory is vague on this). Do a search on "poplog" in your web browser. If
my memory serves me there might be a free Linux version somewhere.
Note that there is also a
comp.lang.prolog
If someone here can't help you more, then try posting there.
From older Lisp FAQ:
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 containsaham 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.
--
William P. Vrotney - ·······@netcom.com
In article <·················@netcom.com>, ·······@netcom.com (William
Paul Vrotney) wrote:
[...]
>Implementations of Prolog in Lisp:
[...]
> 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.
When I was working at LMI back in the AI go-go days, Mats came over to
hack microcoded support for LM-PROLOG for the Lambda machine. I have to
say, I was pretty impressed with the implementation and the speed at which
declarative programming could solve certain kinds of problems.