Exploiting inductive logic programming techniques for declarative process mining.