Evaluating compliance: from LTL to abductive logic programming