PROLOG的指称语义和操作语义(续)  

作　　者：Saumya K.Debray Prateek Mishra 戴敏 

出　　处：《计算机科学》1990年第5期31-37,共7页Computer Science

摘　　要：4.含CUT的PROLOG语义 4.1 语言成份“cut”前面所讨论的PROLOG解释程序简单控制策略的问题之一是在子树中进行大量的回溯搜索有可能没有解(在极端情况下,对无限树形结构进行的穷尽搜索会使逻辑上正确的程序永不终止)。语言成份cut为用户提供了控制这类回溯的手段。

关 键 词：PROLOG语言 指称语义 操作语义 

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