| 逻辑语言剪枝算子的过程语义及其实现 |
| |
| 引用本文： | 李慧琪,赵致琢.逻辑语言剪枝算子的过程语义及其实现[J].计算机科学,2011,38(5):123-126. |
| |
| 作者姓名： | 李慧琪 赵致琢 |
| |
| 作者单位： | 1. 厦门大学计算机科学系,厦门,361005
2. 厦门大学计算机科学系,厦门,361005;仰恩大学计算机科学系,泉州,362014 |
| |
| 基金项目： | 本文受福建省自然科学基金(!1030007)，仰恩大学科学技术研究经费资助。 |
| |
| 摘 要： | 论述了逻辑程序设计中剪枝算子的作用及传统剪枝算子的过程性语义和说明性语义不一致问题;介绍了新型逻辑程序语言〔淑划中的COTRTT11t剪枝算子;通过引入一组定义描述其过程语义，并进一步阐述了剪枝算子和延迟计算规则之间的关系，讨论了Godel语言的剪枝策略及控制机制，从而为逻辑程序语言的实现提供了依据。
|
| 关 键 词： | 逻辑程序设计，剪枝算子，延迟计算 |
Procedural Semantics and its Implementation of Pruning Operators in Logic Programming Language |
| |
| 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. |
| |
| Authors: | LI Hui-qi ZHAO Zhi-zhuo |
| |
| Affiliation: | (Department of Computer Science, Xiamen University, Xiamen 361005 , China);(Department of Computer Science,Yangen University,Quanzhou 362014,China) |
| |
| 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. |
| |
| Keywords: | Logic programming Pruning operator Delay computation |
| 本文献已被 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
