%0 Journal Article
%T DESIGN AND IMPLEMENTATION OF THE NEW LOGIC PROGRAMMING LANGUAGE POLYLOG BASED ON THE CCS EXECUTION MODEL<br>基于CCS执行模型的逻辑式语言POLYLOG的设计与实现
%A Xu Kai
%A Zhang Cui
%A <br>徐凯
%A 章萃
%J 软件学报
%D 1992
%I 
%X In this paper, we have solved two problems in logic programming language, i.e., the selection of parallel execution model and the trade off between running efficiency and using flexibility. We proposed a new comprehension on "Algorithm=Logic+Control", designed and implemented a new programming language POLYLOG. In POLYLOG, the concept of meta control is introduced. The CCS Execution Model is taken to be the internal implied meta control mechanism, and the Relation Type is taken to be the external explicit meta control facility.The parallelism analysis is finished at the compilation time.
%K 逻辑式语言
%K 执行模型
%K POLYLOG语言
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=B492AB46032F8358B789F6E0A8058CFB&yid=F53A2717BDB04D52&vid=38B194292C032A66&iid=0B39A22176CE99FB&sid=CA4FD0336C81A37A&eid=5D311CA918CA9A03&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=24