Warren抽象机(WAM)的数据结构和解释实现  

Data Structure and Interpretation of Warren Abstract Machine

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

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

出　　处：《北京工业大学学报》1999年第1期56-63,共8页Journal of Beijing University of Technology

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

摘　　要：用Ｃ语言严格描述了Ｗａｒｒｅｎ抽象机（ＷＡＭ）的数据结构，并给出ＷＡＭ指令代码的具 体解释实现及算术表达式的高效处理.The data structure of Warren Abstract: Machine (WAM)is discussed. Interpretive implementation of the instruction repertoire of WAM and a new strategy to deal with arithmetic expressions efficiently are given. It is the back-end module of an optimizing Prolog compiler system which we developed, based on WAM. The system execution speed is 7~8 times as fast as the Prolog interpreter we developed previously, and 3~4 times the speed of SWI-Prolog compiler system.

关 键 词：Warren抽象机 数据结构 编译系统 PROLOG语言 

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