[ Development Environment and Global Settings | The ECLiPSe Built-In Predicates | 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

- profile(+) is det

### 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