Prolog割割的见证属性与语义
编程语言
2007-05-23 v1
摘要
探讨了Prolog“割割”构造的语义，作为逻辑编程系统中某些可取属性的背景，这些属性称为见证属性。见证属性涉及对查询响应的运算一致性。描述了一种包含否定失败和割割的Prolog推广形式，证明其不具备见证属性。随后描述了一种受限系统，该系统保留了割割的选择和第一个解决方案行为，但允许系统具有见证属性。受限系统中的割割概念比Prolog硬割更受限制，但保留了硬割所保留的有用第一个解决方案行为，而其他提议的割割如“软割”则未能保留。我们认为，受限系统在Prolog割割的威力与实用性之间取得了良好平衡，同时满足逻辑编程系统内部一致性的需求。该受限系统被赋予抽象语义，该语义依赖于见证属性；该语义表明，受限系统与纯逻辑之间存在更深层的联系，不仅仅是允许某些逻辑计算。本文的部分内容此前在不同形式出现于1995年国际逻辑编程符号会议的论文集中。
引用
@article{arxiv.cs/0201029,
title = {The Witness Properties and the Semantics of the Prolog Cut},
author = {James H. Andrews},
journal= {arXiv preprint arXiv:cs/0201029},
year = {2007}
}
备注
60 pages, 15 figures. Accepted for publication in Theory and Practice of Logic Programming