作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑
PROLOG程序中无限循环的检测及处理
沈一栋,童頫
DETECTING AND TREATING INFINITE LOOPS IN PROLOG PROGRAMS
Shen Yidong, Tong Fu
. 1986, (05): 59 -64 .