Compiling Control Revisited: A New approach Based Upon Abstract Interpretation for Constraint Logic Programs.
Dmitri BoulangerMaurice BruynoogheDanny De SchreyePublished in: LPE (1993)
Keyphrases
- logic programs
- logic programming
- abstract interpretation
- fixpoint
- stable models
- answer sets
- partial deduction
- answer set programming
- prolog programs
- termination analysis
- normal logic programs
- computational properties
- stable model semantics
- static analysis
- strong equivalence
- term rewriting systems
- loop formulas
- active rules
- dynamic analysis
- data types
- knowledge base
- artificial intelligence