constraint-programming

作者探讨了利用约束逻辑和等式重写规则，将关系建模与 APL 风格的数组语言相结合，并讨论了如何将属性定义为双向推导，而非简单的赋值。