4.40 Obtaining Runtime Statistics
All
Application
Manual
Name
Summary
Help
Documentation
Reference manual
Built-in Predicates
Obtaining Runtime Statistics
statistics/2
statistics/0
time/1
Packages
Availability:
:- use_module(
library(statistics)
).
(can be autoloaded)
statistics
Display a table of system statistics on the stream
user_error
.