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 (Macintosh version) - 26 Feb 2015