statistics(Statistic, Value) unifies Value with the system statistic determined by Statistic. statistics/0 prints a list of all the available keys for Statistic.
Keys | |
atoms | Total number of defined atoms. |
clauses | Total number of clauses in the program. |
cputime | CPU time since thread was started (in milliseconds). |
epoch | Time stamp when thread was started. |
inferences | Total number of resolution steps. |
modules | Total number of loaded modules. |
predicates | Total number of predicates in the program. |
runtime | [CPU time, CPU time since last] (in milliseconds). |
threads | Total number of threads in the session. |