Inductive_functional_programming