This predicate invokes the profiler with default options. Equivalent to:
       profile(Goal, []).
   
   See profile/2 for details.
[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