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 (Macintosh version) - 24 Mar 2017