Section "time"

This file provides access to various statistics. Among the statistics are timing mesaurements and memory space measurements. Dogelog player also keeps a inference counter calls, which is used to pace the garbage collection and the auto-yield together with the maxinfs parameter. The maxinfs parameter is dynamically adjusted by the Prolog system.

The following statistics predicates are provided:

statistics(K, V):

The predicate succeeds for the value V of the flag K. The following flags are available:

time: The elapsed real time.

wall: The wall clock time.

gctime: The garbage collection time.

calls: The number of logical inferences.

used: The used memory, or 0 if not available.

maxinfs: The calls between auto-yield.

statistics:

The predicate succeeds. As a side effect a statistics report is shown.

time(A):

The predicate succeeds whenever the goal A succeeds. As a side effect, timing of the call, redo or exception is shown.

garbage_collect:

The built-in succeeds in attempting a garbage collection.

jiti_list:

jiti_list(I):

The predicate lists the index statictics of the user predicates. The unary predicate allows specifying a predicate indicator.

Use Privacy (c) 2005-2026 XLOG Technologies AG