模块化PROLOG语言的设计与实现 |
| |
作者姓名: | 张建平 |
| |
作者单位: | 北京大学计算机系 |
| |
摘 要: | PROLOG语言是基于一阶谓词逻辑的子集——HORN子句逻辑的程序设计语言,以其易于理解和易于书写,在当前正越来越受到重视。本文在分析基本PROLOG语言的基础上,参考有关的工作,设计了一种模块化的PROLOG语言M-PROLOG,并且实现了由Kowalski提出的证明性谓词demo,从而提供了元级推理与目标级推理的接口。最后,本文简单介绍了MPROLOG在Altos-986微机上实现解释系统A-SYSTEM的一些体会。
|
本文献已被 CNKI 等数据库收录! |
|