Hi, all!
In Prolog there is a way to "name" choice points so as to allow cutting
at once all choice points occurring after a referred choice point. I
wonder if this is possible in Mozart (i) without having to write a brand
new search engine or (ii) at all (I mean, using "Choose" and "Commit"
somehow and not creating a whole new "artificial" framework).
What I mean is something "semantically" like this:
choice id:Id % Id is unified with the identifier of this choice
point
A = 1
[] A = 2
end
...
choice
B = 2
[] B = 3
[] B = 4
...
end
...
% somehow I know now that A's current choice is fated to
failure,
% so it's no use trying other values for B while A stays the
% way it is. Thus:
{CutAllTill Id}
Over,
Jorge.
-
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 bug reports to bugs@mozart-oz.org.