A clause indexing unit for prolog.
Douglas RenauxPaul P. DasiewiczPublished in: Microprocess. Microprogramming (1992)
Keyphrases
- indexing method
- horn clauses
- programming language
- knowledge base
- information retrieval
- search space
- logic programming
- indexing techniques
- content based retrieval
- prolog programs
- constraint logic programming
- database
- multimedia databases
- machine learning
- expert systems
- neural network
- indexing scheme
- geometric hashing
- access methods
- video indexing
- test collection
- control unit
- theorem prover
- similarity search
- data structure
- high level
- artificial intelligence
- databases