Global variables are associations between names (atoms) and terms.
They differ in various ways from storing information using assert/1
or recorda/3.
- The value lives on the Prolog (global) stack. This implies that
lookup time is independent from the size of the term. This is
particulary interesting for large data structures such as parsed XML
documents or the CHR global constraint store.
- They support both global assignment using nb_setval/2
and backtrackable assignment using b_setval/2.
- Only one value (which can be an arbitrary complex Prolog term) can
be associated to a variable at a time.
- Their value cannot be shared among threads. Each thread has its own
namespace and values for global variables.
- Currently global variables are scoped globally. We may consider
module scoping in future versions.
Both b_setval/2
and nb_setval/2
implicitely create a variable if the referenced name does not already
refer to a variable.
- b_setval(+Name, +Value)
-
Associate the term Value with the atom Name or
replaces the currently associated value with Value. If Name
does not refer to an existing global variable a variable with initial
value
- b_getval(+Name, -Value)
-
Get the value associated with the global variable Name and
unify it with Value. Note that this unification may further
instantiate the value of the global variable. If this is undesirable the
normal precautions (double negation or copy_term/2)
must be taken. The
b_getval/2
predicate generates errors if Name is not an atom or the
requested variable does not exist.
- nb_setval(+Name, +Value)
-
Associates a copy of Value created with duplicate_term/2
with the atom Name. Note that this can be used to set an
initial value other than
- nb_getval(+Name, -Value)
-
The nb_getval/2
predicate is a synonym for b_getval/2,
introduced for compatibility and symetry. As most scenarios will use a
particular global variable either using non-backtracable or
backtrackable assignment, using nb_getval/2
can be used to document that the variable is used non-backtracable.
- nb_linkval(+Name,
+Value)
-
Associates the term Value with the atom Name
without copying it. This is a fast special-purpose variation of nb_setval/2
intended for expert users only because the semantics on backtracking to
a point before creating the link are poorly defined for compound terms.
The principal term is always left untouched, but backtracking behaviour
on arguments is undone if the orginal assignment was trailed
and left alone otherwise, which implies that the history that created
the term affects the behaviour on backtracking. Please consider the
following example:
demo_nb_linkval :-
T = nice(N),
( N = world,
nb_linkval(myvar, T),
fail
; nb_getval(myvar, V),
writeln(V)
).
|
- nb_current(?Name,
?Value)
-
Enumerate all defined variables with their value. The order of
enumeration is undefined.
- nb_delete(+Name)
-
Delete the named global variable.
Global variables have been introduced by various Prolog
implementations recently. The implementation of them in SWI-Prolog is
based on hProlog by Bart Demoen. In discussion with Bart it was decided
that the semantics if hProlog nb_setval/2,
which is equivalent to nb_linkval/2
is not acceptable for normal Prolog users as the behaviour is influenced
by how builtin predicates constructing terms (read/1,
=../2, etc.) are implemented.
GNU-Prolog provides a rich set of global variables, including arrays.
Arrays can be implemented easily in SWI-Prolog using functor/3
and
setarg/3
due to the unrestricted arity of compound terms.