Automatic induction of LISP functions
Steven Hardy · Artificial Intelligence and the Simulation of Behaviour · 1974
A program that infers and codes the LISP function naturally intended by a single input-output pair (sample computation) is described. The program uses a knowledge of LISP programming and an extended LISP system to develop and test hypotheses about the function. The program is written in POPCORN, a POP2 implementation of many of the ideas embedded in CONNIVER.