"Hybrid Parallel Execution Model for Logic-Based Specification Languages" - читать интересную книгу автора (Jeffrey J. P. Tsai, Bing Li)