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

Design and Implementation of a Logic Program Interpreter Based on Transputer

作　　者：管惠维[1] 

机构地区：[1]上海大学计算机学院

出　　处：《计算机研究与发展》1995年第2期18-23,共6页Journal of Computer Research and Development

基　　金：上海市重点学科发展基金;上海市高教局科学基金

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

关 键 词：逻辑程序 解释程序 微处理机 程序设计 

分 类 号：TP314[自动化与计算机技术—计算机软件与理论]