摘要：描述了一个基于WAM的高度优化的全Prolog编译系统的设计与实现，本系统是在并行、约束逻辑程序设计等方向上扩充WAM的出发点和基本平台，系统能高效地进行算术表达式计算，支持各种预定义谓词，系统的键壮性和灵活性也令人满意．经过测试系统，比BPU－Prolog快7—8倍，优于国际上某些Prolog编译系统．

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

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