CCS:一个新的逻辑式程序设计语言的并行执行模型  

CCS:A New Parallel Execution Model for Logic Programming Languages

作　　者：章萃[1] 

机构地区：[1]复旦大学计算机科学系,上海200433

出　　处：《计算机研究与发展》1991年第7期27-33,共7页Journal of Computer Research and Development

摘　　要：本文提出了一个新的逻辑式程序设计语言的并行执行的理论模型CCS,它能够有效地解决提高与并行推理功效性的关键问题。CCS 模型的主要特点是:1.信道段作为与并行计算单位;2.段内计算的顺序性与不中断性;3.段内的内部通信性与段间的外部通信性;4.不同信道段计算的半序性;5.动态控制的简单性;6.父子关系的松散性;7.优化尾递归程序的与并行执行。This paper proposes the new theoretical model CCS of parallel execution for logic prog- ramming languages,which has effectively solved the key problems in raising the AND-parallel logic inference efficiency.The main characteristics of the model CCS are as follows: 1.Communication channel segment as the AND-parallel execution unit; 2.Sequential and interru- ption-free computations in one segment; 3.Inner-communication in one segment and outer-communic- ation among segments; 4.Partially ordered computations of the segments; 5.Simplicity of dynamic control; 6.Loose linkage between the father and son relations; 7.Optimized AND-parallel execution for tail recursive programs.

关 键 词：逻辑式 语言 程序设计 模型 

分 类 号：TP312.022[自动化与计算机技术—计算机软件与理论]