A.7 Debugging

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.

A.7.1 Tracing

A.7.2 Spy Points

A.7.3 Leashing

A.7.4 Interactive Debugging