Keyphrases
- horn clauses
- logic programming
- information retrieval
- search space
- first order logic
- database
- indexing scheme
- knowledge representation
- indexing method
- text retrieval
- content based retrieval
- theorem proving
- consequence finding
- image indexing
- access methods
- efficient retrieval
- logic programs
- programming language
- multimedia databases
- prolog programs
- test collection
- knowledge base
- video indexing
- artificial intelligence
- cnf formula
- geometric hashing
- programming paradigms
- neural network