基于WAM的Prolog编译优化  

Optimisations of A WAM-Based Prolog Compiler

作　　者：钟宁燕[1] 刘椿年[1] 苗占禄 

机构地区：[1]北京工业大学计算机科学系,北京100022

出　　处：《北京工业大学学报》1998年第4期43-49,共7页Journal of Beijing University of Technology

基　　金：国家自然科学基金;国家"八六三"高技术发展资助

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

关 键 词：Warren抽象机 编译优化 CLP Prolog编译系统 

分 类 号：TP314[自动化与计算机技术—计算机软件与理论]