Combining Multiple Clauses Into a Procedure

This paper rst gives an overview of standard PROLOG indexing and then shows in a stepbystep manner how it can be improved by slightly extending the WAM indexing instruction set to allow indexing on multiple arguments Heuristics are described that overcome the diculty of com puting the indexing WAM code In order to become independent from a concrete WAM instruction set an abstract graphical representation based on DAGs called DAXes is introduced The paper includes a COMMON LISP listing of the main heuristics implemented the algorithms were developed for RELFUN a relational plusfunctional language but can easily be used in arbitrary PROLOG implementations The ideas described in this paper were rst presented at the Workshop Sprachen fur KIAnwendungen Konzepte Methoden Implementieru