摘要： PROLOG程序中的无限循环直接影响到程序执行的可终止性和答案完全。解决此问题的方法一般分为两类:预防和检测。本文指出了预防方法的不足,并提出了一种静、动态相结合的检测、处理方法。
Abstract: The infinite loops in PROLOG programs will directly interfere with the termi-nability and answer completeness of program execution. This paper uses a static-dynamic algorithm to detect and treat infinite loops efficiently.
沈一栋,童頫. PROLOG程序中无限循环的检测及处理[J]. , 1986, 12(05): 59-64.
Shen Yidong, Tong Fu. DETECTING AND TREATING INFINITE LOOPS IN PROLOG PROGRAMS[J]. , 1986, 12(05): 59-64.