
profile(+Goal)

   Profile the goal and print the times spent in each predicate.



Arguments
   Goal                Atom or a compound term.

Type
   Development Environment and Global Settings

Description
   This predicate invokes the profiler with default options.  Equivalent to:
   
       profile(Goal, []).
   
   See profile/2 for details.



Modes and Determinism
   profile(+) is det

Exceptions
     6 --- 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
