Inductive_logic loading ...