counters (library)
Usage and interface
- Library usage:
:- use_module(library(counters)). - Exports:
- Predicates:
setcounter/2, getcounter/2, inccounter/2.
- Predicates:
- Imports:
- Packages:
prelude, nonpure, condcomp, assertions.
- Packages:
Documentation on exports