global (library)
Usage and interface
- Library usage:
:- use_module(library(global)). - Exports:
- Predicates:
set_global/2, get_global/2, push_global/2, pop_global/2, del_global/1.
- Predicates:
- Imports:
- Packages:
prelude, nonpure, assertions.
- Packages:
Documentation on exports
