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

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