A.48 library(statistics): Get information about resource usage
All
Application
Manual
Name
Summary
Help
Documentation
Reference manual
The SWI-Prolog library
library(statistics): Get information about resource usage
statistics/0
statistics/1
thread_statistics/2
time/1
call_time/2
call_time/3
profile/1
profile/2
show_profile/1
profile_data/1
profile_procedure_data/2
Packages
Availability:
:- use_module(
library(statistics)
).
(can be autoloaded)
[nondet]
profile_procedure_data
(
?Pred, -Data:dict
)
Collect data for
Pred
. If
Pred
is unbound data for each predicate that has profile data available is returned.
Data
is described in
profile_data/1
as an element of the
nodes
key.