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.
KnowledgeWorks and Prolog User Guide (Unix version) - 6 Dec 2011