Programming with Constraints