【摘要】 本文用Pro图的方法讨论了递归Prolog程序的终止问题。其中包括Pro图的概念和Pro图的状态序列及递归程序的终止问题。使用本文的方法可为调试程序提供足够的启示。更多还原

【Abstract】 The paper presents a method called Pro-graph. It can be used in testing termination of a recursive program. The paper includes concept of Pro - graph,state alignment,and termination problem of recursive program. The method can give enough enlightenment for testing a program.更多还原