基于WAM的Prolog推理引擎的实现

提出了在实现基于WAM(Warrens Abstract Machine)架构的C-Prolog推理引擎过程中所遇到的问题,以及相应的解决方法和策略。在实现过程中,严格遵循了WAM体系架构中所提出的指令规范。为了提高系统运行时的效率,在指令预处理方面做了大量的工作,利用回填技术生成更快速的WAM代码。而其实现语言C使得该系统易于维护和改善,并与外部的应用程序的接口更方便灵活。