An Abstract Interpretation Approach to Termination of Logic Programs.
Roberta GoriPublished in: LPAR (2000)
Keyphrases
- logic programs
- termination analysis
- abstract interpretation
- active rules
- active databases
- logic programming
- deductive databases
- answer sets
- answer set programming
- fixpoint
- stable models
- prolog programs
- computational properties
- integrity constraints
- partial deduction
- normal logic programs
- expert systems
- strong equivalence
- loop formulas
- static analysis