Abstract filters: improving bottom-up execution of logic programs by two-phase abstract interpretation.
Byeong-Mo ChangKwang-Moo ChoeRoberto GiacobazziPublished in: SAC (1994)
Keyphrases
- logic programs
- abstract interpretation
- termination analysis
- active rules
- logic programming
- active databases
- static analysis
- fixpoint
- model checking
- answer set programming
- magic sets
- answer sets
- stable models
- prolog programs
- partial deduction
- dynamic analysis
- computational properties
- deductive databases
- integrity constraints
- stable model semantics
- reasoning engine
- normal logic programs
- control flow
- strong equivalence
- loop formulas
- object oriented databases
- database