profile(:Goal,
+Options)Execute Goal just like once/1.
Collect profiling statistics according to Options and call show_profile/1
with Options. The default collects CPU profiling and opens a
graphical interface when provided, printing the `plain' time usage of
the top 25 predicates as a ballback. Options are described below.
Remaining options are passed to show_profile/1.
- time(+Which)
- If Which is
cpu (default), collect CPU timing
statistics. If wall, collect wall time statistics based on
a 5 millisecond sampling rate. Wall time statistics can be useful if Goal
calls blocking system calls.