Dependency Triples for Improving Termination Analysis of Logic Programs with Cut.
Thomas StröderPeter Schneider-KampJürgen GieslPublished in: LOPSTR (2010)
Keyphrases
- logic programs
- termination analysis
- logic programming
- active rules
- answer sets
- active databases
- answer set programming
- stable models
- fixpoint
- partial deduction
- normal logic programs
- prolog programs
- database
- loop formulas
- stable model semantics
- description language
- temporal databases
- strong equivalence
- reverse engineering