ON THIS PAGE
counters (library)
Usage and interface
- Library usage:
:- use_module(library(counters)). - Exports:
- Predicates:
setcounter/2, getcounter/2, inccounter/2, deccounter/2.
- Predicates:
Documentation on exports
PREDICATEsetcounter/2
No further documentation available for this predicate.
PREDICATEgetcounter/2
No further documentation available for this predicate.
PREDICATEinccounter/2
No further documentation available for this predicate.
PREDICATEdeccounter/2
No further documentation available for this predicate.
Documentation on imports
This module has the following direct dependencies:- System library modules:
datafacts_rt. - Packages:
prelude, initial, condcomp, assertions, assertions/assertions_basic, datafacts.