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

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

论述了逻辑程序设计中剪枝算子的作用及传统剪枝算子的过程性语义和说明性语义不一致问题;介绍了新型逻辑程序语言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.