Hybrid Parallel Execution Model for Logic-Based Specification Languages