PROLOG的内部谓词cut及其对程序终止性的影响  

作　　者：曾抗生 

机构地区：[1]浙江大学

出　　处：《计算机工程与应用》1989年第5期60-65,共6页Computer Engineering and Applications

基　　金：国家自然科学基金

摘　　要：PROLOG语言中引进了cut这一重要的内部谓词(built-in predicate)。使用cut可以方便地表达出过程性语义中不可缺少的控制结构——选择和循环。并且,cut还有利于提高程序的效率——加快运行速度和节省存储空间。但是,cut并不是原来一阶逻辑意义下纯粹的谓词,因而它的出现改变了原有程序的逻辑语义——PROLOG的描述性语义,并对PROLOG程序终止性的判定带来不良影响。从某种意义上来说,cut就是PROLOG中的goto语句。

关 键 词：PROLOG语言 谓词Cut 程序终止性 

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