对SLD-消解完备性定理的质疑和改进

本文指出,被广大热心于逻辑程序设计的工作人员经常引用的“SLD-消解完备性定理”(见《计算机工程与应用》1987年专辑《逻辑程序设计基础》约翰·劳埃德著,颜松远译)的叙述形式应该改变,否则,存在反例。本文给出了这个反例,对该定理的叙述形式进行了改进,并给出了证明。