Approaches to automatic programming:
- Power-based: derive program from a small specification.
Typically, this approach uses a small number of axioms and deep inference.
- Knowledge-based: reuse knowledge that is stored in the form
of programs, equations, facts, rules, etc.
Typically, this approach uses a large amount of knowledge and shallow
The power-based approach hasn't gotten very far. That leaves reuse.