AN AUTO-PROGRAMMING TECHNIQUE USING SUBGOAL DEDUCTION AND STRUCTURAL INDUCTION
Ang L · Chinese Journal of Computers · 1983
Based on the principle of subgoal deduction (SGD), a mechanical reasoning system is developed, which lessens considerably the difficulties caused by the combinatory explosion, a main drawback of resolution method. An algorithm of automatic synthesis of recursive program using SGD technique and structural induction principle is designed and implemented on FELIX C-256 computer. This is illustrated by a derivation of the SOET program.