Indexing Principles for Relational Languages Applied to PROLOG Code Generation

Werner Stein

DFKI, DFKI Documents (D), Vol. 92-22, 1992.


In this paper we propose an extensible, flexible, multi-argument indexing technique for relational languages. We present a compiler producing indexing header code for a PROLOG emulator based on the Warren Abstract Machine. We will show that our technique combines positive aspects of relational database methods and other existing WAM-based indexing schemes. All the indexing concepts introduced are implemented in LISP for the relational-functional programming language RELFUN.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence