A Clause Indexing system for PROLOG based on Superimposed Coding.
Robert M. Colomb JayasooriahPublished in: Aust. Comput. J. (1986)
Keyphrases
- coding scheme
- expert systems
- horn clauses
- information retrieval
- programming language
- logic programming
- indexing method
- indexing scheme
- search space
- database
- object retrieval
- theorem prover
- content based retrieval
- inter frame
- refinement operators
- logic programming language
- prolog programs
- constraint logic programming
- abstract machine
- indexing methods
- coding method
- inference engine
- text retrieval
- knowledge representation