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.
LispWorks KnowledgeWorks and Prolog User Guide - 14 Dec 2001
