Mini wiki
约束编程
编辑
约束编程是一种
编程典范
,在这种编程范式中,
变量
之间的“关系”是以
约束
的形式陈述的。这些“关系”和
命令式编程
语言元素不同的是:它们并非明确说明了要去执行的步骤中的某一步,而是规范其解的一些属性。这样看来,约束编程是一种
声明式编程
。
2