Quasi-terminating logic programs for ensuring the termination of partial evaluation.

Published in: PEPM (2007)

Keyphrases

logic programs
partial evaluation
explanation based generalization
logic programming
answer sets
answer set programming

stable models
background knowledge
fixpoint
prolog programs
normal logic programs
computational properties

partial deduction
inductive logic programming
logic program updates
xpath queries
domain theory
deductive databases

stable model semantics
minimal models
database
monotonicity constraints
software engineering
term rewriting systems