Efficient Bottom-Up Execution of Logic Programs Using Abstract Interpretation.
Byeong-Mo ChangKwang-Moo ChoeTaisook HanPublished in: Inf. Process. Lett. (1993)
Keyphrases
- logic programs
- logic programming
- fixpoint
- answer set programming
- abstract interpretation
- answer sets
- termination analysis
- stable models
- prolog programs
- partial deduction
- normal logic programs
- stable model semantics
- term rewriting systems
- magic sets
- database
- active rules
- expert systems
- strong equivalence
- loop formulas
- xml documents