李京悦, 刘椿年, 周天山, 钟宁燕, 苗占禄. 一个可求解非线性约束的CLP编译方案及其优化[J]. 北京工业大学学报, 2000, 26(2): 39-44.
    引用本文: 李京悦, 刘椿年, 周天山, 钟宁燕, 苗占禄. 一个可求解非线性约束的CLP编译方案及其优化[J]. 北京工业大学学报, 2000, 26(2): 39-44.
    Li Jingyue, Liu Chunnian, Zhou Tianshan, Zhong Ningyan, Miao Zhanlu. A Non-Linear CLP Compiler and its Optimizations[J]. Journal of Beijing University of Technology, 2000, 26(2): 39-44.
    Citation: Li Jingyue, Liu Chunnian, Zhou Tianshan, Zhong Ningyan, Miao Zhanlu. A Non-Linear CLP Compiler and its Optimizations[J]. Journal of Beijing University of Technology, 2000, 26(2): 39-44.

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

    A Non-Linear CLP Compiler and its Optimizations

    • 摘要: 描述了一个优化的约束逻辑程序设计(CLP)系统的编译方法和编译优化策略.该系统是一个多重论域的CLP系统,以区间算术和约束传播作为离散域和实数域上约束求解的统一方法,具有求解非线性约束的功能.实现为一个基于扩充的WAM指令集的编译系统.在国内外已有的CLP系统中,我们尚未见到同时具有多重论域,非线性约束求解和编译实现这3项特征的类似系统.

       

      Abstract: 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.

       

    /

    返回文章
    返回