逻辑语言剪枝算子的过程语义及其实现

摘要：

论述了逻辑程序设计中剪枝算子的作用及传统剪枝算子的过程性语义和说明性语义不一致问题;介绍了新型逻辑程序语言G(o)del中的commit剪枝算子;通过引入一组定义描述其过程语义,并进一步阐述了剪枝算子和延迟计算规则之间的关系,计论了G(o)del语言的剪枝策略及控制机制,从而为逻辑程序语言的实现提供了依据.

关键词：逻辑程序设计、剪枝算子、延迟计算

所属期刊栏目：38

分类号：TP312(计算技术、计算机技术)

资助基金：福建省自然科学基金A030007.仰恩大学科学技术研究经费资助

在线出版日期：2011-09-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：123-126,148