Exploiting Inductive Logic Programming Techniques for Declarative Process Mining · Study