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) - 26 Feb 2015