Concept: Inductive programming