CONSTRAINTS A 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)