Answer Set Programming, conformance checking, Declarative Process Mining, log generation, Query Checking.