Prolog Clause Indexing

1984

• Michael J. Wise, David M. W. Powers: Indexing Prolog Clauses via Superimposed Code Words and Filed Encoded Words. SLP 1984: 203-210

1986

• Robert M. Colomb, Jayasooriah: A Clause Indexing System for PROLOG Based on Superimposed Codeing. The Australian Computer Journal 18(1): 18-25 (1986)
• Kotagiri Ramamohanarao, John Shepherd: A Superimposed Codeword Indexing Scheme for Very Large Prolog Databases. ICLP 1986: 569-576 , long version: University of Melbourne, TR 85/17

1987

• Mats Carlsson: Freeze, Indexing, and Other Implementation Issues in the WAM. ICLP 1987: 40-58
• Peter Van Roy, Bart Demoen, Yves D. Willems: Improving the Execution Speed of Compiled Prolog with Modes, Clause Selection, and Determinism. TAPSOFT, Vol.2 1987: 111-125

1988

• Micha Meier: Benchmarking of Prolog Procedures for Indexing Purposes. FGCS 1988: 800-807

1989

• Bart Demoen, André Mariën, Alain Callebaut: Indexing Prolog Clauses. NACLP 1989: 1001-1012

1990

• R. Ramesh, I. V. Ramakrishnan, David Scott Warren: Automata-Driven Indexing of Prolog Clauses. POPL 1990: 281-291

1991

• Robert M. Colomb: Enhancing Unification in Prolog through Clause Indexing. J. Log. Program. 10(1/2/3&4): 23-44(1991)
• Kam-Fai Wong, M. Howard Williams: A Superimposed Codeword Indexing Scheme for Handling Sets in Prolog Databases. DASFAA 1991: 468-476

1992

• Werner Hans: A Complete Indexing Scheme for WAM-based Abstract Machines. PLILP 1992: 232-244

1994

• Ta Chen, I. V. Ramakrishnan, R. Ramesh: Multistage Indexing Algorithms for Speeding Prolog Execution. JICSLP 1992: 639-653 , journal version: Ta Chen, I. V. Ramakrishnan, R. Ramesh: Multistage Indexing for Speeding Prolog Executions. Softw., Pract. Exper. 24(12): 1097-1119(1994)