约束推理与约束程序

约束程序设计与约束推理研究在强烈的应用背景驱动下，近几年受到了国外学术界和产业界的重视。本项申请将研究分层约束逻辑程序和部分约束逻辑程序的语义和步进推理算法；提出非线性约束的化简方法；建立有穷论域、布尔论域和实数论域上大规模约束问题快速的求解理论与算法（允许不完备）；设计实现嵌入到过程语言中的约束程序系统原型。