- profile(:Goal)
- profile(:Goal, +Options)
- Run Goal under the execution profiler. Defined options are:
- time(Which)
- Profile
cpu or wall time. The default is CPU time.
- top(N)
- When generating a textual report, show the top N predicates.
- cumulative(Bool)
- If
true (default false), show cumulative output in
a textual report.