cputime | (User) CPU time since Prolog was started in seconds |
inferences | Total number of passes via the call and redo ports since Prolog was started. |
heap | Estimated total size of the heap (see section 2.15.1.1) |
heapused | Bytes heap in use by Prolog. |
heaplimit | Maximum size of the heap (see section 2.15.1.1) |
local | Allocated size of the local stack in bytes. |
localused | Number of bytes in use on the local stack. |
locallimit | Size to which the local stack is allowed to grow |
global | Allocated size of the global stack in bytes. |
globalused | Number of bytes in use on the global stack. |
globallimit | Size to which the global stack is allowed to grow |
trail | Allocated size of the trail stack in bytes. |
trailused | Number of bytes in use on the trail stack. |
traillimit | Size to which the trail stack is allowed to grow |
atoms | Total number of defined atoms. |
functors | Total number of defined name/arity pairs. |
predicates | Total number of predicate definitions. |
modules | Total number of module definitions. |
codes | Total amount of byte codes in all clauses. |