| 逻辑程序设计语言G(o)del与Prolog的比较 |
| |
| 引用本文： | 昌杰,赵致琢,李慧琪,高伟.逻辑程序设计语言G(o)del与Prolog的比较[J].智能系统学报,2009,4(2). |
| |
| 作者姓名： | 昌杰 赵致琢 李慧琪 高伟 |
| |
| 作者单位： | 厦门大学计算机科学系,福建厦门,361005 |
| |
| 摘 要： | 在多态多类的一阶逻辑基础之上，围绕类型系统、模块系统、控制机制、元程序设计和输入／输出部分对Gǒdel语言功能进行分析。重点比较了逻辑程序设计语言Gǒdel与Prolog的联系与区别，通过比较分析，表明由于摒弃了Prolog语言中的非逻辑成分，引入了多种新的语言成分，Gǒdel语言具有更好的说明性语义和执行效率。
|
| 关 键 词： | Gǒdel语言 Prolog语言 模块系统 类型系统 控制机制 元程序设计 |
A comparison between the logic programming languages Gdel and Prolog |
| |
| CHANG Jie,ZHAO Zhi-zhuo,LI Hui-qi,GAO Wei.A comparison between the logic programming languages Gdel and Prolog[J].CAAL Transactions on Intelligent Systems,2009,4(2). |
| |
| Authors: | CHANG Jie ZHAO Zhi-zhuo LI Hui-qi GAO Wei |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
