论文部分内容阅读
在多态多类的一阶逻辑基础之上，围绕类型系统、模块系统、控制机制、元程序设计和输入／输出部分对Gǒdel语言功能进行分析。重点比较了逻辑程序设计语言Gǒdel与Prolog的联系与区别，通过比较分析，表明由于摒弃了Prolog语言中的非逻辑成分，引入了多种新的语言成分，Gǒdel语言具有更好的说明性语义和执行效率。