Programming Constraint Services