Kevin Glynn wrote:
Because X is *external* to the search. The search can't commit to either alternative until it knows the value of X.
If a logic program can bind a variable outside its own variables, it means it can have side effects! Therefore binding variables outside a search script (outside a computation space, in fact) is forbidden. The binding statement blocks until enough information is provided from the variable's owner.
Cheers, raph _________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
