Computer Science ›› 2011, Vol. 38 ›› Issue (5): 123-126.

Previous Articles     Next Articles

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

LI Hui-qi,ZHAO Zhi-zhuo   

  • Online:2018-11-16 Published:2018-11-16

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

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!