![]() |
YAP 7.1.0
|
time(:Goal) % % Time the execution of Goal More...
time(:Goal) % % Time the execution of Goal
Possible choice-points of Goal are removed % Based on the SWI-Prolog definition minus reporting the number of inferences, % which YAP does not currently supports
time(: Goal)
Prints the CPU time and the wall time for the execution of Goal Possible choice-points of Goal are removed Based on the SWI-Prolog definition (minus reporting the number of inferences, which YAP currently does not support)