Inductive Programming

Inductive programming is a branch of program synthesis that is based on inductive inference where a recursive, declarative program is constructed from an incomplete specification, especially from input–output examples. Inductive logic programming and inductive functional programming are addressed. Central concepts such as predicate invention and background knowledge are defined. Two worked-out examples are presented to illustrate inductive logic programming and inductive functional programming.