Evaluating Compliance: From LTL to Abductive Logic Programming