Experiments in Constraint Driven Programming