The "choice" statement *does not* create a clone: clones are created
by the search engine only.
I know, I should have written "causes a space to be cloned".
That's not automatic. Search engines don't always make clones at each
level, in order to save memory. You can "recompute" a space from one of
its ancestors, provided you know the choices to take.
To support my claim, here is a search engine that never clones anything.
In the comments, the "history" of a given space is the sequence of
alternatives taken from the initial space (built from the script).
Yes :-) I didn't want to argue - I agree and I knew already. Being a fan
of IOzSeF, I rely on adaptive recomputation in my programs :-)
I thought that my explanation was accurate enough for Alex to
understand. After all, from the search script author's point of view,
there's little difference in whether the engine clones a space at each
"choice" or if it recomputes something (except performance).
Nevertheless, thanks for the search engine script!
Cheers,
Filip
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
