Compositional Analysis of Modular Logic Programs.

Michael Codish Saumya K. Debray Roberto Giacobazzi

Published in: POPL (1993)

Keyphrases

logic programs
logic programming
answer sets
answer set programming
background knowledge
stable models
fixpoint
prolog programs
monotonicity constraints
search space
computational properties