| call_time/2 | Call
Goal as call/1, unifying Time with a dict that provides information on
the resource usage. |
| call_time/3 | Call
Goal as call/1, unifying Time with a dict that provides information on
the resource usage. |
| profile/1 | Run
Goal under the execution profiler. |
| profile/2 | Run
Goal under the execution profiler. |
| profile_data/1 | Gather
all relevant data from profiler. |
| profile_procedure_data/2 | Collect
data for Pred. |
| show_profile/1 | Display
last collected profiling data. |
| statistics/0 | Print
information about resource usage using print_message/2. |
| statistics/1 | Stats
is a dict representing the same information as statistics/0. |
| thread_statistics/2 | Obtain
statistical information about a single thread. |
| time/1 | Execute
Goal, reporting statistics to the user. |