The Free On-line Dictionary of Computing (19 January 2023):

CONSTRAINTS

    A programming language for solving constraints
   using value inference.

   ["CONSTRAINTS: A Language for Expressing Almost-Hierarchical
   Descriptions", G.J. Sussman et al, Artif Intell 14(1):1-39, Aug
   1980].

   (1994-11-01)