category
Named integer counters. Counter names can be any nonvar term.
Paulo Moura
1.0
2011/1/3
static
(no dependencies on other files)
True if Counter is a counter with value Value.
static
counter(Counter,Value)
counter(?nonvar,?integer) – zero_or_more
Increments the named counter.
static
increment_counter(Counter)
increment_counter(+nonvar) – one
Decrements the named counter.
static
decrement_counter(Counter)
decrement_counter(+nonvar) – one
Resets the named counter to zero. Creates the counter if it does not exist.
static
reset_counter(Counter)
reset_counter(+nonvar) – one
static
reset_counters – one
(none)
Table of named counters.
dynamic
counter_(Counter,Value)
counter_(?nonvar,?integer) – zero_or_more