| QH-PROLOG编译程序系统的设计与实现 |
| |
| 引用本文： | 许亚因,葛成辉,濮群. QH-PROLOG编译程序系统的设计与实现[J]. 清华大学学报(自然科学版), 1988, 0(4) |
| |
| 作者姓名： | 许亚因 葛成辉 濮群 |
| |
| 作者单位： | 无线电电子学系，无线电电子学系，计算机科学与技术系 |
| |
| 摘 要： | 针对Ｐｒｏｌｏｇ源程序的特点，提出一种实现源程序完全代码化的编译方法，将事实 与规则集中的逻辑关系用代码表达成逻辑推理树。根据上述思想研制成ＱＨ－ＰＲＯＬＯＧ 编译程序系统，比一般Ｐｒｏｌｏｇ解释程序的速度快６～１０倍，空间效率成倍提高，其工 作环境也优于国内外的解释系统。
|
| 关 键 词： | Prolog语言 编译系统 推理树 |
Design and Implementation of QH-PROLOG Compiler |
| |
| Xu Yayin,Ge Chenghui. Design and Implementation of QH-PROLOG Compiler[J]. Journal of Tsinghua University(Science and Technology), 1988, 0(4) |
| |
| Authors: | Xu Yayin Ge Chenghui |
| |
| Abstract: | Based on the unique features of Prolog language this article presents a compilation method by full encoding. The implied logical relationship of facts and rules is described in the coded inference tree.QH-PROLOG Compiler has the abvantage of 6-10 times faster computation speed, much higher space efficiency and better working environment over recently used prolog interpreter systems. |
| |
| Keywords: | Prolog Compiler Inference tree |
| 本文献已被 CNKI 等数据库收录！ |
