Formulation of Induction Formulas in Verification of Prolog Programs.
Tadashi KanamoriHiroshi FujitaPublished in: CADE (1986)
Keyphrases
- prolog programs
- logic programs
- inductive logic programming
- model checking
- answer set programming
- functional programs
- linear time temporal logic
- logic programming
- artificial intelligence
- verification method
- program synthesis
- inductive learning
- face verification
- inductive inference
- mathematical formulas
- constructive induction
- horn clauses
- rule induction
- propositional logic
- software engineering
- training set