Login / Signup
An Algebra of Logic Programs.
Paolo Mancarella
Dino Pedreschi
Published in:
ICLP/SLP (1988)
Keyphrases
</>
logic programs
logic programming
answer sets
answer set programming
fixpoint
normal logic programs
stable models
relational algebra
partial deduction
query language
horn clauses
inductive logic programming
data model
logic program updates
background knowledge
existentially quantified
prolog programs