constraint programming language

constraint programming language

[kən¦strānt ′prō‚gram·iŋ ‚laŋ·gwij] (computer science) A programming language in which constraints (relationships that must hold among a number of variables) are directly usable as programming constructs.