constraint

Related languages: Oz, Claire, Constraint Handling Rules, Kaleidoscope