Execute Goal, reporting statistics to the user. If Goal succeeds
non-deterministically, retrying reports the statistics for
providing the next answer.
Statistics are retrieved using thread_statistics/3 on the
calling thread. Note that not all systems support
thread-specific CPU time. Notable, this is lacking on MacOS X.
- 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.