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

Implementation of Inference Engine Prolog Based on WAM

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

This paper presents the problems and solutions for the implementation of Prolog inference engine based on WAM. In this implementation, it strictly follows the instructions specification of WAM infrastructure. To improve the performance of the inference engine, it uses the backfill method to generate faster WAM code during the code preprocessing stage. The implementation language C makes it easier to maintain and improve the system and provides more flexible interfaces with other applications.