一个可求解非线性约束的CLP编译方案及其优化

A Non-Linear CLP Compiler and its Optimizations

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

The compiling schema and optimization strategies of a CLP system are discussed in this paper. The system is a multi-domain CLP system, based on interval arithmetic and constraint propagation as the unified constraint solving method for the discrete domain and real domain. This compiler can solve non-linear constraints based on an extended WAM instruction set. So far we have not found in literature any similar CLP system combining the three features features: multi-domain, non-linear constraints and compilation.