Termination of Logic Programs via Equivalent Rewrite Systems.
Gianni AguzziU. ModiglianiPublished in: ILPS (1993)
Keyphrases
- rewrite systems
- logic programs
- strong equivalence
- term rewriting
- logic programming
- active rules
- answer sets
- answer set programming
- stable models
- fixpoint
- normal logic programs
- theorem prover
- computational properties
- theorem proving
- partial deduction
- horn clauses
- inductive logic programming
- active databases
- operational semantics
- databases
- function symbols