Declarative Reasoning on Explanations Using Constraint Logic Programming