4.42.1 library(prolog_profile): Execution profiler
All
Application
Manual
Name
Summary
Help
Documentation
Reference manual
Built-in Predicates
Execution profiling
library(prolog_profile): Execution profiler
profile/1
profile/2
show_profile/1
profile_data/1
profile_procedure_data/2
Packages
Availability:
:- use_module(
library(prolog_profile)
).
(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.
[nondet]profile_procedure_data(?Pred,
-Data:dict)