Implementation of Pruning Operators in Logic Programming

摘要：

Pruning operators are usedto reduce the search tree in logic programming computation. Pruning operators typically are not declarative, result in a number of semantic problems. We focus on the pruning operator in G(o) del, called commit, which can be used to prune away parts of a search tree and not destroy the declarative semantics of program. We propose the method to realize the control facility in logic programming language which can support the fully implementation of G G(o)del.

关键词： Logic Programming pruning operator, commit delay computation

作者: LI Hui-qi ZHAO Zhi-zhuo

作者单位: Department of Computer Science Xiamen University Xiamen, P.R.China Department of Computer Science Xiamen University, Xiamen YangEn University, Quanzhou P.R.China

会议类型: 国际会议

会议名称: 2010 IEEE International Conference on Intelligent Computing and Intelligent Systems(2010 IEEE 智能计算与智能系统国际会议 ICIS 2010)

会议地点: 厦门

会议语种:英文

页码: 860-864

在线出版日期: 2010-10-29（万方平台首次上网日期，不代表论文的发表时间）