Inductive_programming loading ...