基于Transputer的逻辑程序解释器的设计与实现

Design and Implementation of a Logic Program Interpreter Based on Transputer

本文论述一个在Ｔｒａｎｓｐｕｔｅｒ环境上设计并实现的一阶谓词逻辑程序解释器ＩＦＬＰ，着重讨论了其核心词法分析部分与合一回溯算法部分的实现机制，并给出相应的运行实例。ＩＦＬＰ县有程序动态跟踪功能，能够随时指示问题求解过程中的逻辑推理步骤和解题轨迹，有助于用户了解程序的动态行为和调试复杂的逻辑程序。

This paper describes the design and implementation of an interpreter of the first-order logic program named IFLP, which is based on Transputer. It highlights the implementation method of the syntax analysis phase and the unification-backtrace algorithm phase which are kernels of IFLP. In addition, an instance of executable programs is given. Our IFLP has the capability of dynamic tracing, which can record and point out the steps of logic inference and traces in solving problems, and help users to understand the dynamic behaviour of programs and to test the complex logic programs.