CMU Artificial Intelligence Repository
SHAPIRO: Shapiro's Prolog debugger.
lang/prolog/code/debug/shapiro/
This contains E. Y. Shapiro's Prolog debugger. It is the program in
Appendix II (pages 185-213) of
E. Y. Shapiro, "Algorithmic Program Debugging", MIT Press, 1982.
For documentation of the debugger, see Shapiro's book.
Some parts of the program are useful for other purposes.
Origin:
src.doc.ic.ac.uk:packages/prolog-pd-software/ (146.169.2.1)
as shapiro.tar.Z
Version: 3-OCT-88
Ports: Runs in Quintus Prolog with minor modifications.
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Author(s): E. Y. Shapiro
Keywords:
Authors!Shapiro, Debuggers,
LINT for Prolog@{{\tt lint} for Prolog}, Prolog!Code,
Prolog!Debuggers
References: ?
Last Web update on Mon Feb 13 10:33:27 1995
AI.Repository@cs.cmu.edu