Constraint-based termination analysis of logic programs.
Stefaan DecorteDanny De SchreyeHenk VandecasteelePublished in: ACM Trans. Program. Lang. Syst. (1999)
Keyphrases
- constraint satisfaction problems
- logic programs
- termination analysis
- constraint satisfaction
- active rules
- active databases
- logic programming
- answer sets
- answer set programming
- fixpoint
- stable models
- computational properties
- deductive databases
- normal logic programs
- stable model semantics
- strong equivalence
- partial deduction
- general purpose
- integrity constraints
- propositional theories
- prolog programs
- orders of magnitude
- semantics of logic programs