On Compiling Indexing and Cut for the WAM.

There exist several proposals for the treatment of clause indexing in a compiler for the WAM. These are discussed, and a particular proposal is advocated, which postpones as long as possible the creation of choicepoints. We then address some problems with implementing the cut operator. Finally, it is shown how indexing instructions can subsume certain body goals.