Automated Theorem Prover
See: Backward Chaining, Theorem Proving Task, ATP, Rippling Heuristic.
References
2009
- http://en.wikipedia.org/wiki/Automated_theorem_prover
- Automated theorem proving (ATP) or automated deduction, currently the most well-developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program.