Regarding my "P.S.": interestingly, I've just realised that the "or" statement
would be way much less useful to me if it behaved any different. Is it just a
coincidence? ;-) I'd still most appreciate some theoretical enlightenment on
this point.
Cheerio,
Jorge.
Quoting jorgemp@icmc.sc.usp.br:
>
>
> 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
> thiscase? 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/.
>
-
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/.