Explicit Control of Logic Programs Through Rule Algebra.

Tomasz Imielinski Shamim A. Naqvi

Published in: PODS (1988)

Keyphrases

logic programs
logic programming
existentially quantified
answer sets
answer set programming
fixpoint
stable models

partial deduction
normal logic programs
term rewriting systems
background knowledge
logic program updates
computational properties
counter examples

update operators
inductive logic programming
prolog programs
relational algebra
stable model semantics
horn clauses

production rules
deductive databases
data model
incomplete information
functional programs
fixpoint semantics