Parallel processing model for logic programming