作　　者： ;

机构地区： 暨南大学信息科学技术学院计算机科学系

出　　处： 《暨南大学学报（自然科学与医学版）》 1990年第1期20-27,共8页

摘　　要： 本文提出逻辑程序阿部推理机制的一种格式化描述方法——推导格式。这种描述方法是分析逻辑程序的一种有效的工具,它可帮助我们理解和调试给定的逻辑程序。 This paper peresents a formalized method,termed inference formai,for describing inference engine of logic programs.This method is an effective tool for analysing logic programs.It can help us understand and debug given logic programs.

关 键 词： 逻辑程序 推导格式 回溯

领　　域： [理学] [理学]