| Last Modified On : | May 6, 2008 7:09 PM PDT |
Rate |
|
This is one of the main techniques for introducing parallelism into a logic language. Consider the goal A: B,C,D (read ”A follows from B and C and D”) which means that goal A succeeds if and only if all three subgoals B and C and D succeed. In AND parallelism, subgoals B, C, and D are evaluated in parallel.
Comments (0) 
Trackbacks (0)
Leave a comment 
To obtain technical support, please go to Software Support.