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.

  • wall:Seconds
  • cpu:Seconds
  • inferences:Count
Result is one of true or false depending on whether or not the goal succeeded.
ClioPatria (version no GIT?)