%0 Journal Article
%T Procedural Semantics and its Implementation of Pruning Operators in Logic Programming Language<br>逻辑语言剪枝算子的过程语义及其实现
%A LI Hui-qi
%A ZHAO Zhi-zhuo
%A <br>李慧琪
%A 赵致琢
%J 计算机科学
%D 2011
%I 
%X 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.
%K Logic programming
%K Pruning operator
%K Delay computation<br>逻辑程序设计，剪枝算子，延迟计算
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=D9D85549C8538CFC891899893F89A16C&yid=9377ED8094509821&vid=16D8618C6164A3ED&iid=94C357A881DFC066&sid=AE09EACBCD1B2A13&eid=6FBD78E3BAB60869&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=10