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.