Automata-Driven Indexing of Prolog Clauses.
R. RameshI. V. RamakrishnanDavid Scott WarrenPublished in: J. Log. Program. (1995)
Keyphrases
- horn clauses
- programming language
- cellular automata
- prolog programs
- information retrieval
- content based retrieval
- finite automata
- indexing scheme
- text retrieval
- expert systems
- first order logic
- data driven
- finite state
- consequence finding
- database
- finite state machines
- knowledge representation
- logic programming
- search space
- probabilistic automata
- theorem proving
- indexing methods
- tree automata
- constraint logic programming
- logic programming language
- conjunctive normal form
- knowledge base
- regular expressions
- background knowledge