SHAPIRO'S PROLOG DEBUGGER
                        Written by E. Y. Shapiro
                      Contributed by Norbert Fuchs,
            Department of Computer Science, Zurich University
                   Shelved on the 3rd of October 1988


This entry comes as three files:
    SHAPIRO.PRE - this file.
    SHAPIRO.PL  - the source.
    NOTES.      - some notes on portability.               


SHAPIRO.PL is the  program from Appendix II (pp  185-213) of Algorithmic
Program Debugging,  MIT Press, 1982. Some  of the parts  are interesting
and useful for other purposes.

The  program contains  very  few  comments, because  it  comes from  the
Appendix of a book which describes it in great detail. You will need the
book to explain this code, and to tell you how to run it.      



CHECKED ON EDINBURGH-COMPATIBLE (POPLOG) PROLOG :
    No.


PORTABILITY :
    Contains % comments. See also NOTES.


INTERNAL DOCUMENTATION :
    Very brief description of each main section.