CLP(Z) - all_distinct/1

[infradig]

Really just a progress note to self here:

~/trealla (devel) $ tpl ~/scryer-prolog/src/lib/clpz.pl
?- all_different([A,B]).
   clpz:all_different([A,B]),clpz:all_different([A,B]).
?- all_different([A,B]), A=1, B=1.
   false.

Ok, that's good.

?- all_distinct([A,B]).
   true.

Oops, not good, where are the residuals?

?- all_distinct([A,B]), A=1, B=1.
   A = 1, B = A.

They are really not there it seems. But freezing them first then they now appear...

?- freeze(A,true),freeze(B,true),all_distinct([A,B]).
   clpz:all_distinct([A,B]),freeze:freeze(A,true),clpz:all_distinct([A,B]),freeze:freeze(B,true).
?- freeze(A,true),freeze(B,true),all_distinct([A,B]),A=1,B=1.
   false.
?- freeze(A,true),freeze(B,true),all_distinct([A,B]),A=1,B=2.
   A = 1, B = 2.

Yes, that works. Very odd!

[infradig]

Fixed.

~/trealla (devel) $ tpl ~/scryer-prolog/src/lib/clpz.pl
?- all_distinct([A,B]).
   clpz:all_distinct([A,B]).
?- all_distinct([A,B]), A=1,B=1.
   false.
?- all_distinct([A,B]), A=1,B=2.
   A = 1, B = 2.