论文部分内容阅读
Kowalski指出PROLOG程序容易产生无限循环。该文对PROLOG程序的可终止性进行了严格的定义，证明了不包含递归规则的PROLOG程序是可终止的，给出了包含递归规则的PROLOG程序可终止的充分必要条件。（本刊录）
关于PROLOG程序的可终止性问题
【摘 要】
：
Kowalski指出PROLOG程序容易产生无限循环。该文对PROLOG程序的可终止性进行了严格的定义，证明了不包含递归规则的PROLOG程序是可终止的，给出了包含递归规则的PROLOG程序可终止
【机 构】
：
浙江大学
【出 处】
：
中国计算机学会PROLOG语言学术讨论会
【发表日期】
：
1985年期
其他文献
木薯是养殖业和淀粉加工业的重要原料,种好木薯也是一条脱贫致富之路。 一、施足基肥 很多人把木薯种到山上和旱地,不施基肥,随地长,因此产量很低。为提高木薯的种植效益,应
叙述了电磁平衡秤的工作原理、突出优点、计量性能、静态误差等问题，具体地介绍了ZGS—30B型电磁地中衡的结构特点、技术性能、以及鉴定的主要项目数据和结果。（本刊录）
该文指出较强的非绝热热源导致的低层降压，其等变高线与等高线不相重合是造成低空急流上方显著超地转特点的主要原因。加热场的铅直分布则导致低空急流下方的超热成风特点。还