Integration of Declarative and Constraint Programming