版权所有：内蒙古大学图书馆 技术提供：维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
对SLD-消解完备性定理的质疑和改进
作者机构：解放军信息工程学院计算机系
出 版 物：《计算机工程与应用》 (Computer Engineering and Applications)
年 卷 期：1992年第28卷第1期
页 面：47-49页
核心收录：
学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
主 题：逻辑程序设计 叙述形式 SLD-消解完备性定理
摘 要：本文指出,被广大热心于逻辑程序设计的工作人员经常引用的“SLD-消解完备性定理(见《计算机工程与应用》1987年专辑《逻辑程序设计基础》约翰·劳埃德著,颜松远译)的叙述形式应该改变,否则,存在反例。本文给出了这个反例,对该定理的叙述形式进行了改进,并给出了证明。
