Common Prolog provides a standard 4-port debugging model (
call
exit
redo
fail
).
Tracing, Spy Points, Leashing, and Interactive Debugging are each discussed separately in this section.
KnowledgeWorks and Prolog User Guide (Unix version) - 6 Dec 2011