A General Framework for Automatic Termination Analysis of Logic Programs
Nachum DershowitzNaomi LindenstraussYehoshua SagivAlexander SerebrenikPublished in: CoRR (2000)
Keyphrases
- logic programs
- termination analysis
- logic programming
- answer set programming
- answer sets
- stable models
- active rules
- fixpoint
- active databases
- partial deduction
- computational properties
- stable model semantics
- strong equivalence
- normal logic programs
- term rewriting systems
- general purpose
- deductive databases
- prolog programs
- object oriented
- semantics for logic programs
- data warehouse
- relational databases