Computer Science ›› 2011, Vol. 38 ›› Issue (5): 123-126.
Previous Articles Next Articles
LI Hui-qi,ZHAO Zhi-zhuo
Online:
Published:
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.
Key words: Logic programming, Pruning operator, Delay computation
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.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2011/V38/I5/123
Cited