A.7.1 Tracing

Exhaustive tracing is available with Common Prolog through the use of: (trace) . After executing (trace) , all goals will be displayed until control is returned to the top level loop, nodebug is executed or notrace is executed.