What _really_ happens if (at least) one of the child spaces of an "or"
statement becomes entailed?
I already know the statement blocks "forever" and will never fail. What I'd
like to know is whether there is any optimization for such a case, like
implicitly killing the so-made-redundant sibling spaces.
Thanks,
Jorge.
P.S.: By the way, wouldn't non-blocking behaviour be more consistent in this
case? I feel so because I _also_ view an or statement as the posing of a
(disjunctive) invariant which reduces once it has been proved to hold.
Sorry if I'm being stupid, but I'm really new to concurrent logic programming.
-
Please send submissions to users@mozart-oz.org
and administriva mail to users-request@mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.