Inductive logic programming from machine learning to software engineering - Bergadano, Francesco (The Mit press, 1995)