Enhancing Unification in Prolog through Clause Indexing.
Robert M. ColombPublished in: J. Log. Program. (1991)
Keyphrases
- theorem proving
- theorem prover
- higher order
- indexing method
- expert systems
- logic programming
- information retrieval
- horn clauses
- database
- programming language
- search space
- content based retrieval
- knowledge base
- knowledge representation
- text retrieval
- index terms
- indexing techniques
- indexing structure
- efficient retrieval
- indexing scheme
- logic programs
- access methods
- indexing methods
- object retrieval
- video indexing
- image indexing
- automated theorem proving
- geometric hashing