文件名称：逻辑程序设计语言Godel与 Prolog的比较 (2009年)
文件大小：568KB
文件格式：PDF
更新时间：2024-07-03 17:32:12
工程技术 论文
在多态多类的一阶逻辑基础之上,围绕类型系统、模块系统、控制机制、元程序设计和输入/输出部分对 Godel语言功能进行分析。重点比较了逻辑程序设计语言 Godel与 Prolog的联系与区别,通过比较分析,表明由于摒 弃了 Prolog语言中的非逻辑成分,引入了多种新的语言成分,Go¨del语言具有更好的说明性语义和执行效率。