基于Warren抽象机的Prolog实现技术的研究

摘要

cqvip:本文介绍了基于WAM的Prolog实现技术的研究结果。首先论述了新的Prolog执行模型WAM-PLUS。该模型由扩充了的WAM和非逻辑成分执行机制NLEM构成。它能支持Prolog动态代码,并能实现一致的动态代码语义。文中还介绍了Prolog编译策略和Prolog编译器的设计,描述了一种顺序推理机的系统结构。