基于WAM的Prolog编译优化

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

Optimisations of A WAM-Based Prolog Compiler

The design and implementation of a Prolog compiler based on WAM is introduced, which is highly-optimized and covers the full Prolog. The system provides a basis for extension towards parallel logic programming and constraint logic programming.This system can evaluate arithmetic expressions efficiently and supports various predefined predicates, and the robustness and flexibility are also satisfactory. Trial runnings show that the interpretation of the compiled WAM code is 7-8 bines faster than BPU-Prolog, an interpreted system we have developed before,and better than the international Prolog compiling system, SWI-Prolog.