Integrating Abductive and Constraint Logic Programming