###
DOI:
Journal of Software:1991.2(1):52-63

并行逻辑程序设计语言GHC的实现
王平,胡守仁
(长沙工学院)
IMPLEMENTATION OF THE PARALLEL LOGIC PROGRAMMING LANGUAGE GHC
Wang Ping,Hu Shouren
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 3002   Download 2587
Received:September 08, 1989    Revised:November 28, 1989
> 中文摘要: 本文设计了一个GHC的并行抽象推理机,对该推理机的进程管理、环境管理、挂起机制、托付机制等一系列课题进行了探讨和研究,并提出了相应的策略和算法。本文提出了一种新的挂起机制实现方法。该方法在保持环境访问效率的前提下,具有较小的系统开销,为GHC的高效实现提供了可能。
中文关键词:
Abstract:In this paper, we disigned an abstract parallel inference machine for GHC. We approached and studied a series of subjects about the inference machine, say, process management, environment management, suspending mechanism, committing mechanism, ect., and proposed the corresponding strategy or algorithm. This paper presented a new implementation method for the suspending mechanism. Under the premise of maintaining the efficiency of environment access, the method needs less system overhead and provides the possibility of efficiently implementing GHC.
keywords:
文章编号:     中图分类号:    文献标志码:
基金项目:霍英东教育基金委员会资助 霍英东教育基金委员会资助
Foundation items:
Reference text:

王平,胡守仁.并行逻辑程序设计语言GHC的实现.软件学报,1991,2(1):52-63

Wang Ping,Hu Shouren.IMPLEMENTATION OF THE PARALLEL LOGIC PROGRAMMING LANGUAGE GHC.Journal of Software,1991,2(1):52-63