The following predicates are defined to interact with the profiler.
show_profile(). With XPCE installed this opens a graphical interface to examine the collected profiling data.
cpu(default), collect CPU timing statistics. If
wall, collect wall time statistics based on a 5 millisecond sampling rate. Wall time statistics can be useful if Goal calls blocking system calls.
false), include the time spent in children in the time reported for a predicate.
true is accepted as a synonym for
for compatibility reasons.
falseand clears all collected statistics.