?受限逻辑程序设计
受限逻辑程序设计 ( Constraint logic programming )是受限程序设计的一种形式,在其中逻辑程序设计被扩展到包括来自受限制满足的概念。
约束逻辑程序设计
并行约束逻辑程序设计
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。