CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

Prolog interpreters from Boizumault's book

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.

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