10.3969/j.issn.0254-0037.2000.02.009
一个可求解非线性约束的CLP编译方案及其优化
描述了一个优化的约束逻辑程序设计(CLP)系统的编译方法和编译优化策略.该系统是一个多重论域的CLP系统,以区间算术和约束传播作为离散域和实数域上约束求解的统一方法,具有求解非线性约束的功能,实现为一个基于扩充的WAM指令集的编译系统.在国内外已有的CLP系统中,我们尚未见到同时具有多重论域,非线性约束求解和编译实现这3项特征的类似系统.
约束逻辑程序设计(CLP)、Wamn抽象机(WAM)、多重论域、非线性约束、编译
26
TP391.2(计算技术、计算机技术)
国家自然科学基金NSFC69883001;国家高技术研究发展计划863计划863-306-ZT06-07-2
2004-03-12(万方平台首次上网日期,不代表论文的发表时间)
共6页
39-44