Inductive Logic Programming: Challenges