| 有效的Prolog编译实现方法 |
| |
| 引用本文： | 赵振西 柯向东. 有效的Prolog编译实现方法[J]. 计算机学报, 1991, 14(4): 267-274 |
| |
| 作者姓名： | 赵振西 柯向东 |
| |
| 作者单位： | 中国科学技术大学计算机科学技术系，中国科学技术大学计算机科学技术系，中国科学技术大学计算机科学技术系 合肥 230026，合肥 230026，合肥 230026 |
| |
| 摘 要： | 本文从实现的角度讨论了几种有效的Prolog编译技术,包括一个有效的抽象指令集、子句选择回溯,以及可插入子句的内部谓词assert a/z的实现方法.这些技术已被应用到在VAX机上开发的Prolog编译系统中.
|
| 关 键 词： | Prolog语言 编译系统 |
EFFECTIVE IMPLEMENTATION METHODS FOR COMPILED PROLOG |
| |
| Zhao Zhenxi,Ke Xiangdong and Guo Jiankun. EFFECTIVE IMPLEMENTATION METHODS FOR COMPILED PROLOG[J]. Chinese Journal of Computers, 1991, 14(4): 267-274 |
| |
| Authors: | Zhao Zhenxi Ke Xiangdong Guo Jiankun |
| |
| Abstract: | The efficient implementation methods for compiled PROLOG, including an effective abstract instruction set, the clause selection backtracking, and the method how the built-in predicate assert a/z can be used to insert clauses into the data base during runtime, are presented. These methods are used in the implementation of a PROLOG compiler on Micro VAX II. |
| |
| Keywords: | Clause selection backtracking clause subehain clause-oriented insetting pseudo inserted case. |
| 本文献已被 CNKI 维普 等数据库收录！ |
