[ library(profile) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
profile(+Goal, +Options)
Execute Goal (once) and print profiling information
- Goal
- Callable term
- Options
- List of options
Description
Possible options:
- simple
- show external predicates in the output profile
- keep_file
- don't destroy the samples file after profiling