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

A Non-Linear CLP Compiler and its Optimizations

作　　者：李京悦[1] 刘椿年[1] 周天山[1] 钟宁燕 苗占禄[1] 

机构地区：[1]北京工业大学计算机学院,北京100022

出　　处：《北京工业大学学报》2000年第2期39-44,共6页Journal of Beijing University of Technology

基　　金：国家自然科学基金!NSFC69883001;国家"863"高技术发展资助!863.306.ZT06-07-2

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

关 键 词：约束逻辑程序设计 非线性约束 编译方案 优化 

分 类 号：TP314[自动化与计算机技术—计算机软件与理论]