Under Consideration for Publication in Theory and Practice of Logic Programming the Witness Properties and the Semantics of the Prolog Cut
Under Consideration for Publication in Theory and Practice of Logic Programming the Witness Properties and the Semantics of the Prolog Cut
复制标题
考虑在《逻辑编程理论与实践》中发表 Prolog Cut 的见证属性和语义
DOI：
--
复制
发表时间：
2002
期刊：
影响因子：
--
通讯作者：
J. Andrews
中科院分区：
文献类型：
--
作者：
J. Andrews
Prolog“cut”构造的语义是在逻辑编程系统的一些理想属性（称为见证属性）的背景下进行探索的。见证属性涉及查询响应的操作一致性。描述了 Prolog 的概括，将否定作为失败和剪切，并证明其不具有见证属性。然后描述了系统的限制，它保留了剪切的选择和第一解决方案行为，但允许系统具有见证属性。受限系统中的剪切概念比 Prolog 硬剪切受到更多限制，但保留了硬剪切有用的第一解决方案行为，而其他提议的剪切（例如“软剪切”）则没有保留。有人认为，受限系统在 Prolog 剪切的功能和效用与逻辑编程系统内部一致性的需求之间实现了良好的折衷。受限系统被赋予抽象语义，该语义取决于见证人的属性；这种语义表明，受限系统与逻辑有更深层次的联系，而不仅仅是允许一些逻辑计算。
The semantics of the Prolog " cut " construct is explored in the context of some desirable properties of logic programming systems, referred to as the witness properties. The witness properties concern the operational consistency of responses to queries. A generalization of Prolog with negation as failure and cut is described, and shown not to have the witness properties. A restriction of the system is then described, which preserves the choice and first-solution behaviour of cut but allows the system to have the witness properties. The notion of cut in the restricted system is more restricted than the Prolog hard cut, but retains the useful first-solution behaviour of hard cut, not retained by other proposed cuts such as the " soft cut ". It is argued that the restricted system achieves a good compromise between the power and utility of the Prolog cut and the need for internal consistency in logic programming systems. The restricted system is given an abstract semantics, which depends on the witness properties; this semantics suggests that the restricted system has a deeper connection to logic than simply permitting some computations which are logical.