Foundations of Inductive Logic Programming (Lecture Notes in Computer Science)