The execution profiler counts the number of times each predicate is called in execution. This profiler is helpful for identifying which portion of predicates are most frequently executed.
To gauge the execution of a program, follow the following steps:
- profile_consult(File) or profile_compile(File),load(File).
The program will be loaded into the system with gauging calls and predicates inserted.
- init_profile.
Initialize the counters.
- Execute a goal.
- profile.
Report the results.
Neng-Fa Zhou
2011-05-12
