Foundations of Inductive Logic Programming