Any input variables which do not already have finite bounds will be given default bounds of -10000000 to 10000000.
?- length(Xs,5), Xs::1..4, alldifferent(Xs). no (more) solution. ?- [X1,X2]::1..2, [X3,X4,X5]::1..5, alldifferent([X1,X2,X3,X4,X5]). X1 = X1{[1, 2]} X2 = X2{[1, 2]} X3 = X3{[3..5]} X4 = X4{[3..5]} X5 = X5{[3..5]} Delayed goals: alldifferent([X1{[1, 2]}, X2{[1, 2]}], 1) alldifferent([X3{[3..5]}, X4{[3..5]}, X5{[3..5]}], 1)