next up previous contents
Next: 7.4.5 Procedural instructions Up: 7.4 The instructions Previous: 7.4.3 UNIFY-instructions

7.4.4 Indexing instructions



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