Warren抽象机（WAM）的数据结构和解释实现

基金项目:

国家自然科学基金、国家“八六三”高技术发展资助

详细信息

Data Structure and Interpretation of Warren Abstract Machine

摘要: 用C语言严格描述了Warren抽象机(WAM)的数据结构,并给出WAM指令代码的具体解释实现及算术表达式的高效处理.
- 逻辑程序设计 /
- Warren抽象机(WAM) /
- Prolog编译
Abstract: 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.
- logic programming /
- Warren Abstract: Machine (WAM) /
- prolog compiler