Dear Wizard of Oz,
I am trying to implement the disjunctive combinator as described in chapter
11 of Christian Schulte's spaces book ... using Alice, instead of mOZart.
Basically, this (sort of) involves waiting around until all but one of the
child spaces (one per branch in the disjunction) are positively failed, and
then merging the remaining alternative with its parent space.
But it seems that there is no equivalent to `{Space.askVerbose s}` in
alice's structures. Is it not possible to differentiate between "stable"
spaces and spaces that are "blocked" on a variable in their parent space
using Alice ML?
Thanks,
Chris
[EMAIL PROTECTED]
Senior Research Engineer
Vanderbilt University
_________________________________________________________________________________
mozart-users mailing list
mozart-users@ps.uni-sb.de
http://www.mozart-oz.org/mailman/listinfo/mozart-users
