SWI-Prolog -- profile/1

Documentation
- Reference manual
  - Built-in Predicates
    - Execution profiling
      - Profiling predicates
        
        profile/1
        
        profile/2
        
        show_profile/1
        
        profiler/2
        
        reset_profiler/0
        
        noprofile/1
- Packages

Availability::- use_module(library(prolog_profile)).(can be autoloaded)

profile(:Goal)

Execute Goal just like once/1, collecting profiling statistics, and call show_profile([]). With XPCE installed this opens a graphical interface to examine the collected profiling data.