Magic Sets and Other Strange Ways to Implement Logic Programs.

François Bancilhon David Maier Yehoshua Sagiv Jeffrey D. Ullman

Published in: PODS (1986)

Keyphrases

logic programs
magic sets
fixpoint
logic programming
background knowledge
answer set programming
answer sets
stable model semantics
stable models
datalog programs
inductive logic programming
query answering
nonmonotonic reasoning
database
horn clauses
recursive queries
knowledge base