约束程序设计

（计算机科学技术）

约束程序设计（constraint programming），计算机科学技术名词，将问题描述为一组约束构成的模型，并由系统自动地给出问题解的程序设计方法。包括嵌入到逻辑程序设计语言中的约束逻辑程序设计语言和嵌入到面向对象程序设计语言中的软件工具库等。