CMU Artificial Intelligence Repository
Prolog interpreters from Boizumault's book
lang/prolog/impl/prolog/boiz_pl/
This directory contains the various Prolog interpreters described in
the book:
Patrice Boizumault, "The Implementation of Prolog", Princeton
University Press, 1993. Translated by Ara M. Djamboulian and
Jamal Fattouh. ISBN 0-691-08757-1, 357 pages ($49.50).
It contains the code for the programs developed in Appendices A-D, and
some examples that can be run independently for each version. The
examples include cryptarithms (SEND+MORE=MONEY), Eliza, sieve of
Eratosthenes, factorial, N-Queens, and Quicksort, among others.
Origin:
cnam.cnam.fr:/pub/Boizumault/
Version: 13-DEC-93
Requires: Common Lisp
Updated: Mon Aug 29 19:01:39 1994
CD-ROM:
Author(s): Patrice Boizumault
Keywords:
Authors!Boizumault, Cryptarithms, Eliza, Factorials,
Interpreters!Prolog, Lisp!Code, N-Queens,
Programming Languages!Prolog, Prolog!Implementations,
Quicksort, Sieve of Eratosthenes
Contains:
microUt/ Appendix D of the book
microPrologII/ Appendix C of the book
microWam/ Appendix B of the book
microCprolog/ Appendix A of the book
microEx/ Examples for use with the three interpreters
README
References: ?
Last Web update on Mon Feb 13 10:34:55 1995
AI.Repository@cs.cmu.edu