Automata-Driven Indexing of Prolog Clauses.
R. RameshI. V. RamakrishnanDavid Scott WarrenPublished in: POPL (1990)
Keyphrases
- horn clauses
- information retrieval
- cellular automata
- logic programming
- data driven
- first order logic
- expert systems
- indexing method
- indexing scheme
- indexing methods
- finite automata
- content based retrieval
- text retrieval
- search space
- knowledge base
- geometric hashing
- indexing techniques
- probabilistic automata
- database
- theorem proving
- knowledge representation
- abstract machine
- finite state machines
- inference rules
- regular expressions
- background knowledge
- orders of magnitude