αρχείο Email: Foundations of inductive logic programming.