A global variable has a name F/N and an associated value. A name cannot be used as both a global variable name and a predicate name at the same time.
- global_set(F,N,Value):
Sets the value of the global variable F/N to Value. After this call, the name F/N becomes a global variable. If the name F/N was used as a predicate name, then all of the information about the predicate will be erased.
- global_set(F,Value):
This is equivalent to global_set(F,0,Value).
- global_get(F,N,Value):
The value that is associated with the global variable F/N is Value. If F/N is not a global variable, then the call fails.
- global_get(F,Value):
This is equivalent to global_get(F,0,Value).
- is_global(F,N):
Tests whether F/N is a global variable.
- is_global(F):
This is equivalent to is_global(F,0).
Neng-Fa Zhou
2013-01-25
