论文部分内容阅读
描述了一个优化的约束逻辑程序设计（ＣＬＰ）系统的编译方法和编译优化策略。该系统是一个多重论域的ＣＬＰ系统，以区间算术和约束传播作为离散域和实数上约束求解的统一方法，具有求解非线性约束的功能，实现为一个基于扩充的ＷＡＭ指令集的译系统。在国内外已有的ＣＬＰ系统中，我们尚未见到同时具有多重论域，非线性约束求解和编译实现这３项特征的类似系统。