多重论域相关论文
描述了一个高度优化的约束逻辑程序（CLP）编译系统解释实现中的算法和优化策略．并通过定义新的数据结构，采用多种优化策略，使该系统能够......
描述了一个优化的约束逻辑程序设计(CLP)系统的编译方法和编译优化策略.该系统是一个多重论域的CLP系统,以区间算术和约束传播作为......
描述了一个高度优化的约束逻辑程序（CLP）编译系统解释实现中的算法和优化策略，并通过定义新的数据结构，采用多种优化策略，使该系统能够......
