王健,程虎.Prolog实现技术中的原型共享思想.软件学报,1995,6(1):1-7 |
Prolog实现技术中的原型共享思想 |
PROTOTYPE SHARING THOUGHT IN PROLOG IMPLEMENTATION TECHNIQUES |
投稿时间:1992-06-16 修订日期:1992-12-12 |
DOI: |
中文关键词: Prolog,栈溢出,问题图,原版图,复制图,环境桢面 |
英文关键词:Prolog, stack overflow, question graph, proto graph, copy graph, enviorment frame. |
基金项目: |
|
摘要点击次数: 2917 |
全文下载次数: 2624 |
中文摘要: |
本文介绍了GOAM──一个新的Prolog语言抽象机器中的原型共享思想.采用原型共享技术可以明显地降低Prolog程序运行时的空间消耗量,在一定程度上解决了Prolog语言特有的难题──“栈溢出”问题. |
英文摘要: |
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. |
HTML 下载PDF全文 查看/发表评论 下载PDF阅读器 |