Procedural Semantics and its Implementation of Pruning Operators in Logic Programming Language
逻辑语言剪枝算子的过程语义及其实现

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.