Foundations of inductive logic programming - Nienhuys-Cheng, S. -H. 1943- (Lecture notes in computer science, 1997)