Login / Signup

Predicate Inequalities as a Basis for Automated Termination Proofs for Prolog Programs.

Lutz Plümer
Published in: CSL (1988)
Keyphrases
  • prolog programs
  • logic programs
  • sufficient conditions
  • semi automated
  • automated analysis
  • automated theorem provers
  • logic rules
  • linear programming
  • theorem prover
  • answer set programming
  • theorem proving