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 (Windows version) - 22 Dec 2009