逻辑程序设计语言g¨odel与prolog的比较-智能系统学报.pdfVIP

第 4 卷第 2 期 　　　　　　　　　　　　　　智 　能 　系 　统 　学 　报 　　　　　　　　　　　　　　Vo l. 4 №. 2 2009年 4 月 　　　　　 　　　　 　　CAA I Tran saction s on In telligen t System s 　　　　　　　　　　　　　Ap r. 2009 逻辑程序设计语言 Go¨del与 Prolog的比较 昌　杰 ,赵致琢 ,李慧琪 ,高 　伟 (厦门大学 计算机科学系 ,福建 厦门 36 1005) 摘 　要 :在多态多类的一阶逻辑基础之上 , 围绕类型系统 、模块系统 、控制机制 、元程序设计和输入 /输 出部分对 Go¨del语言功能进行分析. 重点比较了逻辑程序设计语言 Go¨del与 Prolog 的联系与区别 ,通过比较分析 ,表明由于摒 弃了 Pro log语言中的非逻辑成分 ,引入了多种新的语言成分 , Go¨del语言具有更好的说明性语义和执行效率. 关键词 : Go¨del语言 ; Pro log语言 ;模块系统 ;类型系统 ;控制机制 ;元程序设计 中图分类号 : TP311　文献标识码 : A 　文章编号 :(2009) 02 0 16306 A compar ison between the log ic programm ing languages Go¨del and Prolog CHAN G J ie, ZHAO Zh izhuo, L I Hu iq i, GAO W ei (D ep artm en t of Compu ter Science, X iam en U n iversity, X iam en 36 1005, Ch ina) A b stract:W e analyzed the function s of the Go¨del language on the ba ssis of the firstorder logic w ith po lymorp h ism and m u lti typ e s. The focu s wa s on its typ e s, modu le system , con tro l m echan ism s, m etap rogramm ing, and inpu t/ ou tpu t. Emp ha siswa s on comp arison s of relation sh ip s and d isp aritie s in Pro log and Go¨del. The comp arison s showed that the Go¨del language ismore declarative and efficien t becau se it elim inate s the nonlogical p arts of Pro log and in troduce s m any k ind s of new language elem en ts. Keywords: Go¨del; Pro log; modu lar system ; typ e system ; con tro l m echan ism ; m etap rogramm ing 　　Pro log是当代最有影响的人工智能语言之一 , 成了它们的程序主体. 另外 ,在执行机理上 ,合一算 由于该语言很适合表达人的思维和推理过程 ,分别 法和 SLD 反驳 —消解法为结果的正确性提供了有 在机器定理证明、自动推理 、专家系统 、智能规划等 效的保证. Go¨del同时也借鉴了 Pro log和程序设计领 许多方面得到了广泛的应用 ,成为人工智能应用领 域的最新成果 ,引入类型系统 、延迟计算和剪枝操作 域的开发工具. 但是 , Pro log在使用中也暴露了该语 等诸多新的语言