Data Structure and Interpretation of Warren Abstract Machine(WAM) Warren抽象机(WAM)的数据结构和解释实现
On implementation techniques for Prolog based on the Warren abstract machine 基于Warren抽象机的Prolog实现技术的研究
In this paper, a scheme for managing Prolog code database in the framework of the Warren Abstract Machine(WAM) ( WAM ) is presented. The form of the object code is first described. 本文论述了作者提出的在基于Warren抽象机(简称WAM)的编译型Prolog系统中代码库的一种管理方法。
The main contents of this paper are : semantic and syntactic extention of Prolog, augmentation and modification of WARREN abstract machine, important components and running procedure of the compiler, and seven definition rules for syntactic structure coding. 本文主要介绍:PROLOG语言的语义、语法扩充,主要是函数定义、函数调用和表达式计算;对WARREN抽象机数据结构、指令的增加和修改;