[ Development Environment and Global Settings | Reference Manual | Alphabetic Index ]

profile(+Goal)

Profile the goal and print the times spent in each predicate.
Goal
Atom or a compound term.

Description

This predicate invokes the profiler with default options. Equivalent to:

       profile(Goal, []).
   
See profile/2 for details.

Modes and Determinism

Exceptions

(6) out of range
Flags contains an illegal flag.

Examples

[eclipse 6]: profile(boyer).
rewriting...
proving...
goal succeeded

                PROFILING STATISTICS
                --------------------

Goal:             boyer
Total user time:  10.65s

Predicate             Module         %Time  Time
-------------------------------------------------
rewrite           /2  eclipse        52.3%  5.57s
garbage_collect   /0  sepia_kernel   23.1%  2.46s
rewrite_args      /2  eclipse        16.6%  1.77s
equal             /2  eclipse         4.7%  0.50s
...
plus              /3  eclipse         0.1%  0.01s



See Also

get_flag / 2, profile / 2