A Partial Evaluation Procedure for Logic Programs.

Kerima Benkerimi John W. Lloyd

Published in: NACLP (1990)

Keyphrases

logic programs
partial evaluation
logic programming
explanation based generalization
answer sets
stable models

answer set programming
fixpoint
background knowledge
partial deduction
normal logic programs
term rewriting systems

computational properties
prolog programs
inductive logic programming
strong equivalence
logic program updates
monotonicity constraints

high level
stable model semantics
domain theory
deductive databases
general purpose
data sources