DESIGN AND IMPLEMENTATION OF THE NEW LOGIC PROGRAMMING LANGUAGE POLYLOG BASED ON THE CCS EXECUTION MODEL
基于CCS执行模型的逻辑式语言POLYLOG的设计与实现

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.