Incremental analysis of constraint logic programs.

Manuel V. Hermenegildo Germán Puebla Kim Marriott Peter J. Stuckey

Published in: ACM Trans. Program. Lang. Syst. (2000)

Keyphrases

logic programs
logic programming
answer set programming
normal logic programs
answer sets
stable models
computational properties
answer set semantics
term rewriting systems
constraint satisfaction
fixpoint
prolog programs
propositional theories
partial deduction