On 7/2/07, Guido Tack <[EMAIL PROTECTED]> wrote:
Hi! Wojciech Kaczmarek: > I'd like to experiment with non-deterministic choices (cf. CTM > book, chapter 9). In Oz the choice statement is implemented using > Space.choose function. How to mimic this behaviour using Alice with > gecode library? Nondeterministic choice like in Mozart is not supported in Alice.
What I have in mind is to mimic it by tinkering with computational space. Failing the space is possible. Branching is done at high-level in gecode lib. I was wondering if there is a low-level api for creating a child space and manually decide what constraints are to be added there. Just something like Space.choose in Oz. So are you saying it's inherently impossible because of some Alice internal mechanisms or that just there's no api to do/simulate it? cheers
_______________________________________________ alice-users mailing list [email protected] http://www.ps.uni-sb.de/mailman/listinfo/alice-users
