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

Procedural Semantics and its Implementation of Pruning Operators in Logic Programming Language

作　　者：李慧琪[1] 赵致琢[1,2] 

机构地区：[1]厦门大学计算机科学系,厦门361005 [2]仰恩大学计算机科学系,泉州362014

出　　处：《计算机科学》2011年第5期123-126,148,共5页Computer Science

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

摘　　要：论述了逻辑程序设计中剪枝算子的作用及传统剪枝算子的过程性语义和说明性语义不一致问题;介绍了新型逻辑程序语言Gdel中的commit剪枝算子;通过引入一组定义描述其过程语义,并进一步阐述了剪枝算子和延迟计算规则之间的关系,讨论了Gdel语言的剪枝策略及控制机制,从而为逻辑程序语言的实现提供了依据。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 ope-rator may cause some semantic problems.We discussed the Gdel 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 Gdel language.

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

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]