Termination Proofs for Logic Programs Based on Predicate Inequalities.
Lutz PlümerPublished in: ICLP (1990)
Keyphrases
- logic programs
- horn clauses
- monotonicity constraints
- logic programming
- answer sets
- first order logic
- fixpoint
- sufficient conditions
- theorem prover
- background knowledge
- answer set programming
- theorem proving
- logic rules
- normal logic programs
- stable models
- computational properties
- prolog programs
- inductive logic programming
- stochastic logic programs
- partial deduction
- logic program updates
- stable model semantics
- decision procedures
- datalog programs
- functional programs
- term rewriting systems
- probabilistic inductive logic programming