A.7 Debugging

Common Prolog provides a standard 4-port debugging model ( call exit redo fail ). Tracing, Spy Points, Leashing, and interactive debugging will each be discussed separately.

A.7.1 Tracing

A.7.2 Spy Points

A.7.3 Leashing

A.7.4 Interactive Debugging