Execute Goal, reporting statistics to the user. If Goal succeeds
non-deterministically, retrying reports the statistics for providing
the next answer.
Note that is no portable way to get thread-specific CPU time.
SWI-Prolog has implementations for Linux, Windows and MacOS. The
automatic detection may work on some other operating systems.
- See also
- - statistics/2 for obtaining statistics in your program and
understanding the reported values.
- - call_time/2, call_time/3 to obtain the timing in a dict.
- bug
- - Inference statistics are often a few off.