📁 计算机编程语言约束

约束编程是在20世纪60年代初发明或发现的。约束编程的一个主要思想是告诉计算机你想要什么，而不指定要遵循的确切过程和/或过程。约束是必须满足的关系；示例：一条线必须保持水平，电路模拟中的一个组件必须遵守欧姆定律，网页表中的一列必须至少是另一列的两倍宽。约束已被用于许多类型的语言和系统中，特别是在用户界面工具包、规划和调度以及仿真中。在答案难以计算的地方编写约束通常很容易。示例：在约束编程中，即使你没有告诉程序如何去做，X*X=2也会找到X。为此，它通过迭代地改变X并收敛到一个答案来解决，而不知道如何进行平方根算法；这是艾萨克·牛顿求平方根的方法。在编程和数学中，约束可以是代数或逻辑（布尔）的：通常是一个或多个变量值之间的等式或不等式关系，通常是两个变量之间的等式；示例：x>2是x上的约束。约束满足是为变量赋值的过程，因此所有约束都为真。在编程中，约束是一次声明的关系，然后由系统自动维护。约束在需要时会自动评估，而不需要程序员在需要时调用它们。它们应该没有副作用。约束也可以作为一种继承。约束编程使用数学、人工智能和运筹学的方法。它允许快速开发、经济维护和高性能。将问题直接表示为约束会导致程序更短、更简单，更容易理解和适应不断变化的需求。在此页面上，语言分为三组和三个级别：1）顶级组：语言类型或类别。2）中间组：有多个这种名称/类型的语言实例的语言，一个语系。3）底层组：特定语言、单个实例；这种名称/类型只有一种语言。