Demand-Driven Indexing of Prolog Clauses.

Vítor Santos Costa Konstantinos Sagonas Ricardo Lopes

Published in: ICLP (2007)

Keyphrases

demand driven
horn clauses
first order logic
information retrieval
search space
logic programming
expert systems
knowledge representation
indexing method
database
abstract machine
programming language
background knowledge
content based retrieval
prolog programs