Towards a Framework for the Abstract Interpretation of Logic Programs.

Published in: PLILP (1988)

Keyphrases

logic programs
logic programming
abstract interpretation
inductive logic programming
fixpoint
answer sets
answer set programming
stable models
computational properties
prolog programs
propositional theories
databases
integrity constraints
partial deduction
term rewriting systems