计算机科学 ›› 2011, Vol. 38 ›› Issue (5): 123-126.
• 软件工程 • 上一篇 下一篇
李慧琪,赵致琢
出版日期:
发布日期:
基金资助:
LI Hui-qi,ZHAO Zhi-zhuo
Online:
Published:
摘要: 论述了逻辑程序设计中剪枝算子的作用及传统剪枝算子的过程性语义和说明性语义不一致问题;介绍了新型逻辑程序语言〔淑划中的COTRTT11t剪枝算子;通过引入一组定义描述其过程语义,并进一步阐述了剪枝算子和延迟计算规则之间的关系,讨论了Godel语言的剪枝策略及控制机制,从而为逻辑程序语言的实现提供了依据。
关键词: 逻辑程序设计,剪枝算子,延迟计算
Abstract: The use of pruning operators in logic programming is to reduce the search space of computations. The importance of pruning operator in logic programming was discussed. However, the implementation of traditional pruning operator may cause some semantic problems. We discussed the Uodel pruning operator, called the commit, which could be used to prune away parts of a search tree and can affect the completeness of the search procedure. In this perspective, we proposed the method to realize the control facility in logic programming language which could support the fully implementation of Godel language.
Key words: Logic programming, Pruning operator, Delay computation
李慧琪,赵致琢. 逻辑语言剪枝算子的过程语义及其实现[J]. 计算机科学, 2011, 38(5): 123-126. https://doi.org/
LI Hui-qi,ZHAO Zhi-zhuo. Procedural Semantics and its Implementation of Pruning Operators in Logic Programming Language[J]. Computer Science, 2011, 38(5): 123-126. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2011/V38/I5/123
Cited