CCS:A New Parallel Execution Model for Logic Programming Languages

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.