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