{Compliance Checking of Execution Traces to Business Rules: an Approach Based on Logic Programming}