| 摘要: |
| 本文介绍了GOAM──一个新的Prolog语言抽象机器中的原型共享思想.采用原型共享技术可以明显地降低Prolog程序运行时的空间消耗量,在一定程度上解决了Prolog语言特有的难题──“栈溢出”问题. |
| 关键词: Prolog,栈溢出,问题图,原版图,复制图,环境桢面 |
| DOI: |
| 分类号: |
| 基金项目: |
|
| PROTOTYPE SHARING THOUGHT IN PROLOG IMPLEMENTATION TECHNIQUES |
|
Wang Jian,Cheng Hu
|
| Abstract: |
| This paper describes the prototype sharing thought in GOAM- a new abstract machine for Prolog. When backtracking, using prototype sharing technique can reduce the quantities of memory consumed by Prolog system efficiently, this helps to solve the particular problem-"stack overflow" in Prolog system. |
| Key words: Prolog, stack overflow, question graph, proto graph, copy graph, enviorment frame. |