[1]GAO Wei,ZHAO Zhi-zhuo,LI Hui-qi,et al.Research and implementation of the control facility of Gdel language[J].CAAI Transactions on Intelligent Systems,2009,4(4):345-351.
Copy

Research and implementation of the control facility of Gdel language

CAAI Transactions on Intelligent Systems[ISSN 1673-4785/CN 23-1538/TP] Volume: 4 Number of periods: 2009 4 Page number: 345-351 Column: 学术论文—自然语言处理与理解 Public date: 2009-08-25
Title:
Research and implementation of the control facility of Gdel language
Author(s):
GAO Wei;  ZHAO Zhi-zhuo;  LI Hui-qi;  CHANG Jie
College of Information Science and Technology，Xiamen University，Xiamen 361005，China
Keywords:
Gdel language; control facility; delay; pruning
CLC:
TP312
DOI:
-
Abstract:
Gdel, a new logic programming language that emerged from Prolog, has at its core a control facility. After an analysis of problems with the control facility in Prolog, the authors proposed new control facilities for Gdel which include a ‘delay computing’ and a ‘pruning’ operation. Examples showed that adoption of the new facilities effectively prevents inefficient or infinite loop calling of a recursive predicate and allows coroutining between subformulas, so that the efficiency of the system is considerably improved. Furthermore, an algorithm was proposed that could provide the control facility in Gdel. The algorithm was applied in the Gdel compiler developed by our group. The high efficiency of the algorithm was verified through testing.
References:
［1］HILLl P M, LLOYD J W.The G〖AKo¨D〗del programming language［M］.London:MIT Press,1994：799
［2］李松斌. Gdel语言编译系统中推理机的设计与实现［D］.厦门：厦门大学，2007.
?LI Songbin. Design and implementation of inference machine for G〖AKo¨D〗del compiler［D］.Xiamen：Xiamen University,2007.
［3］苏剑煌. Gdel语言编译系统的设计与实现［D］. 厦门：厦门大学，2007.
SU Jianhuang.Design and implementation for the compiler of programming language Gdel［D］.Xiamen：Xiamen University,2007.
［4］肖 楠.具有并发延迟功能的PROLOG语言控制策略的设计与实现［J］.小型微型计算机系统,1989,10(3):3643.
XIAO Nan.Design and implementation for the control facility of Prolog languange with the functional of concurrent and delay［J］.MiniMicro Systems,1989,10(3):3643.
［5］刘椿年，曹德和.PROLOG语言,它的应用与实现［M］.北京：科学出版社,1990：1023.
［6］LLOYD J W. Foundation of logic programming［M］.［S.l.］：SpringerVerlag, 1984：515.
［7］HILL P M.The completion of typed logic programs and SLDNF resolution［C］//Proceedings of the 4th International Conference.［S.l.］，1993：321326.
［8］王良霖. Gdel语言程序计算的可视化研究［D］.厦门大学，2008.
WANG Lianglin. The study for the visualization of G〖AKo¨D〗del programs［D］.Xiamen: Xiamen University,2008. ［9］李 玲. G〖AKo¨D〗del语言编译系统中实现计算可视化［D］.厦门：厦门大学，2008. 
LI Ling. Implementation of visual computing for the compiler of programming language G〖AKo¨D〗del［D］.Xiamen: Xiamen University,2008.
［10］涂序彦. 广义智能系统的概念、模型和类谱［J］. 智能系统学报,2006, 1(2):710.
TU Xuyan. Concept,model and kinds of generalized intelligent system［J］. CAAI Transactions on Intelligent Systems,2006, 1(2):710.
［11］杨春燕，蔡 文.可拓信息知识智能形式化体系研究［J］.智能系统学报,2007, 2(3):811.
?YANG Chunyan, CAI Wen. A formalized system of extension informationknowledgeintelligence［J］. CAAI Transactions on Intelligent Systems,2007, 2(3):811.
Similar References:

Memo

-

Last Update: 2009-11-16

Copyright © CAAI Transactions on Intelligent Systems