A temporary file /tmp/eclipse.prof.<pid> is used to store the profiling information and is removed upon exit.
[eclipse 6]: profile(boyer, [simple]). 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