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