Next: Compiling a Single
Up: An Introduction to
Previous: An Introduction to
This paper will not give a complete description of compiling PROLOG
into the WAM (Warren Abstract Machine);
only those topics will be covered that are relevant to indexing.
For more details on the WAM, refer to [War83],
[GLLO85], [AK90], and [Nys85].
The WAM instruction set contains the following groups of instructions:
- instructions for register manipulations and unification
- control instructions (for ``calling'' subprocedures)
- choice instructions for combining clauses into a procedure
(see section 3)
- indexing instructions
- instructions for extralogicals (such as the cut)