| Prolog语言抽象机器GOAM的设计与实现 |
| |
| 引用本文： | 王健 程虎. Prolog语言抽象机器GOAM的设计与实现[J]. 计算机研究与发展, 1995, 32(3): 31-36 |
| |
| 作者姓名： | 王健 程虎 |
| |
| 作者单位： | 中国科学院软件研究所 |
| |
| 摘 要： | 本文提出了一种抽象机ＧＯＡＭ,是Ｐｒｏｌｏｇ语言新的运行和实现方式,因为ＧＯＡＭ内存管理是一种堆式内存分配方法,所以具有潜在的并行性,另外ＧＯＡＭ控制算法是智能回溯方法,ＧＯＡＭ在没有引入冗余信息的情况下提高了系统的效率。
|
| 关 键 词： | Prolog语言 抽象机器 设计 |
Design and Implementation of an Abstract Machine GOAM for Prolog |
| |
| Wang Jian and Cheng Hu. Design and Implementation of an Abstract Machine GOAM for Prolog[J]. Journal of Computer Research and Development, 1995, 32(3): 31-36 |
| |
| Authors: | Wang Jian and Cheng Hu |
| |
| Abstract: | This paper presents an abstract machine GOAM (graph oriented abstract machine), which is anew running and implementing scheme for Prolog. The memory management techniques in GOAM is a kind of"heap" method, so GOAM has potential parallelism. Furthermore, the control algorithm of GOAM is an intelligent backtracking technique, which can improve system efficiency without introducing additional information. |
| |
| Keywords: | Prolog protograph copygraph intelligent backtracking WAM GOAM. |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
