[EMAIL PROTECTED] wrote:
This is false. The reified version of =: (as occurs in your code) does not
perform any unification per se (unless its result is bound to 1, of course). I
don't know exactly what problem you are solving, but if:
does not do the job it's just because it in fact does not mean exactly what you
mean :o) and not because (X=:Y) in expression position would necessarily unify
X with Y.
I see the problem now. The distinct constraint makes the expression
fail in all cases since I check that the Shirt and Socks are the same
value (Shirt=:Hard ... Socks=:Hard). If hadn't made an incorrect
assumption, the problem would have been obvious. Not surprising that my
WAG was wrong. :-)
Thanks,
Chris Rathman
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
