The Free On-line Dictionary of Computing (30 December 2018):
CONSTRAINTSA 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)