CLP编译系统中非线性约束求解的算法与优化

Solving Nonlinear Constraints in BPU_CLP_C Compiler

描述了一个高度优化的约束逻辑程序（ＣＬＰ）编译系统解释实现中的算法和优化策略．并通过定义新的数据结构，采用多种优化策略，使该系统能够以较高效率处理经典的非线性约束问题．

The data structure and interpretation for the extended WAM code of the BPU_CLP_C compiler are discussed, which is highly optimized.The system can solve nonlinear constraints using interval arithmetic and constraint propagation.