%0 Journal Article
%T IMPLEMENTATION OF THE PARALLEL LOGIC PROGRAMMING LANGUAGE GHC<br>并行逻辑程序设计语言GHC的实现
%A Wang Ping
%A Hu Shouren
%A <br>王平
%A 胡守仁
%J 软件学报
%D 1991
%I 
%X 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.
%K 并行
%K 逻辑程序
%K GHC语言
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=5601FBEB8E66B71FA4EA3A8669B16EA3&yid=116CB34717B0B183&vid=0B39A22176CE99FB&iid=CA4FD0336C81A37A&sid=286FB2D22CF8D013&eid=E84BBBDDD74F497C&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=7