CONSTRAINTS - 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).
CONSTRAINTS Programming Language
http://www.programming-languages.co.uk/constraints.html
Large list of computer programming languages arranged alphabetically, with explanations.