Did you know ... Search Documentation:
library(statistics)

F.2.53 library(statistics)

call_time/2Call Goal as call/1, unifying Time with a dict that provides information on the resource usage.
call_time/3Call Goal as call/1, unifying Time with a dict that provides information on the resource usage.
statistics/0Print information about resource usage using print_message/2.
statistics/1Stats is a dict representing the same information as statistics/0.
thread_statistics/2Obtain statistical information about a single thread.
time/1Execute Goal, reporting statistics to the user.

Tags are associated to your profile if you are logged in
Tags: