View Hybrid Parallel Execution Model For Logic Based Specification Languages