A.48 library(statistics): Get information about resource usage
AllApplicationManualNameSummaryHelp

Availability::- use_module(library(statistics)).(can be autoloaded)
Sourcecall_time(:Goal, -Time:dict)
call_time(:Goal, -Time:dict, -Result)
Call Goal as call/1, unifying Time with a dict that provides information on the resource usage. Currently Time contains the keys below. Future versions may provide additional keys.

Result is one of true or false depending on whether or not the goal succeeded.