Constraint Specification In Ai