Parallel AND Processes
Sequential AND processes, as defined in Chapter 4, simply mimic sequential interpreters by solving their subgoals one at a time, from left to right. AND parallelism is exploited in the AND/OR Process Model by having an AND process create more than one OR process in certain transitions, and then coordinating the responses to success and fail messages from these descendants until all literals have been successfully solved.
KeywordsLogic Program Goal Statement Deterministic Function Recursive Call Ground Term
Unable to display preview. Download preview PDF.