| Did you know ... | Search Documentation: |
| library(statistics) |
| 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. |
| 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. |