A Clause Indexing system for PROLOG based on Superimposed Coding.

Robert M. Colomb Jayasooriah A Clause Indexing system for PROLOG based on Superimposed Coding. 18-25 1986 18 Australian Computer Journal 1 db/journals/acj/acj18.html#ColombJ86