基于CCS模型的半智能回溯

CCS MODEL BASED SEMI-INTELLIGENT BACKTRACKING

本文提出了以逻辑式程序设计语言的与并行执行模型CCS为基础的半智能回溯方法,解决了分布式并行处理问题和通信问题,不仅提高了逻辑式程序设计语言的执行功效,又保证了语义的正确性与完备性。

A semi-intelligent backtracking method is proposed based on the and-parallel execution model CCS for logic programming languages. This method solved the key problems of distributed parallel processing and communication. Therefore, the parallel execution of logic programming languages will be efficient, correct and complete.