Introduction
This section explains the basic concepts and terminology used by the Quintus Prolog
debugger. Following sections describe the two debuggers available in
the Quintus Prolog system: the X Windows-based source linked debugger and
the standard debugger.
The main features of the debugging package are:
- The "procedure box" control flow model of Prolog execution, which
provides a simple way of visualizing control flow, especially during
backtracking.
- Full debugging of compiled code. It is not necessary to reload your
program, or load it in any special way, in order to debug it.
- The ability to exhaustively trace your program or to selectively set
spypoints. Spypoints allow you to specify procedures or goals where the
program is to pause so that you can interact.
- A wide choice of control and information options available during
debugging.
- Tools to aid in the understanding of your program's performance
characteristics.
Debugging foreign code is discussed in fli-p2f-fcr.