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:

Debugging foreign code is discussed in fli-p2f-fcr.