SMS dit: On the Complexity of Some Inductive Logic Programming Problems