next up previous contents
Next: 7.2 The data structures Up: 7 The GWAM Previous: 7 The GWAM

7.1 Terminology

`Global Stack' and `heap' as well as `local stack', `stack' and `runtime stack' are synonyms, an environment and a choice point are portions of the local stack, the push-down list (PDL) is a stack used temporarily by the unification procedure, but it is not needed within the GWAM, since this is done recursively in LISP. In most publications the A-registers are assumed to be the same as the X-registers and for those authors assuming disjoint A and X sets of registers the A-regs can be mapped to a single X-register set. Therefore argument registers will be referred herein as X-registers.



Harold Boley (boley@informatik.uni-kl.de)