系統規定參數
CONSTRAINTS
A language for solving {constraint}s 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)