ctrace/1¶

ctrace(Goal)*

This predicate is only available if the YAP compile option was set. It generates a step-by-step trace of the execution of Goal