SWI-Prolog -- profile_procedure

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.

History

Introduced in 8.1.15 (👉a1c4a03) profile_procedure_data/2 to quickly interrogate individual predicates.