The Hierarchical Constraint Logic Language CHAL