Termination analysis of logic programs using acceptability with general term orders
Alexander SerebrenikDanny De SchreyePublished in: CoRR (2000)
Keyphrases
- logic programs
- logic programming
- termination analysis
- fixpoint
- stable models
- answer sets
- answer set programming
- normal logic programs
- stable model semantics
- partial deduction
- recursive programs
- active rules
- active databases
- deductive databases
- prolog programs
- computational properties
- strong equivalence
- database systems
- information systems
- database