On the Implementation of Abstract Interpretation Systems for (Constraint) Logic Programs.

Gerda Janssens Wim Simoens

Published in: CC (1994)

Keyphrases

logic programs
logic programming
answer set programming
answer sets
stable models
normal logic programs
partial deduction
fixpoint
inductive logic programming
computational properties
expert systems
abstract interpretation
semantics of logic programs
knowledge base
distributed systems
prolog programs