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