递归Prolog程序的正确性证明  

CORRECTNESS PROOF OF THE RECURSIVE PROLOG PROGRAM

作　　者：刘育刚 

机构地区：[1]哈尔滨工程大学计算机科学与工程系

出　　处：《计算机学报》1996年第1期64-67,共4页Chinese Journal of Computers

基　　金：黑龙江省自然科学基金

摘　　要：本文提出了一种称为Ｐｒｏ图的图形方法，并用该图形方法进行了递归Ｐｒｏｌｏｇ程序的正确性证明．文中包括Ｐｒｏ图的基本概念及生成规则，Ｐｒｏ图上各节点的关系，Ｐｒｏ图的激活过程，并给出了关于递归程序正确性证明的公理和定理．The paper presents a graphic method called Pro-graph. This method canbe used in correctness proof of Prolog recursive program. The paper includes conception of Pro-graph, generative rules, relationship between nodes and 'fire' process of the graph. The paper introduces axioms and theorems about proof of the recursive program.

关 键 词：PROLOG语言 正确性证明 递归程序 

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