逻辑程序设计系统LOGIC

本文主要介绍在IBMPC/XT,AT机上开发的函数型与逻辑型相结合的程序设计系统LOGIC的实现思想。介绍了LOGIC的计算机制。较为详细地讨论了LOGIC的启发式搜索技术,对“启发式搜索”中“代价步增量”的影响作了简要分析。文中给出了LOGIC演绎周期的主要作流工程,最后提出了一种用“LISP专用形归结”机制实现“Cut”算子的方法。