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. |