Next: Clauses and Fails Up: Indexing PROLOG Procedures into Previous: Motivation for Extensions

DAXes: Indexing Information Represented in Specialized DAGs

In order to avoid further elaboration on concrete WAM indexing instructions, an abstract graphical representation of the indexing instructions will be used, namely DAXes: directed acyclic digraphs for indexing. The following sections describe the various DAX components.

Michael Sintek -