Inductive Logic Programming: From Machine Learning to Software Engineering (Log