论文部分内容阅读
逻辑程序设计 LP与约束问题求解相结合,产生了约束逻辑程序设计 CLP.特定领域的建模是 CLP应用成功的关键.叙述 CLP语义及其约束描述方法,针对工程设备调度决策这一多约束满足的 NP难问题,应用 CLP建模技术,从自然描述导出适于求解的约束过程,合成最优算法,并以实例论述基于 CLP的工程设备调度决策建模过程.