{Exploiting Inductive Logic Programming Techniques for Declarative Process Mining}