Constraint Logic Programming with Hereditary Harrop Formulas