matching variables multiple solutions 1

[synhedionn]

Hi,
In swiprolog, when
[library(clpfd)].
X in 0..10 , Y in 0..10 , X mod Y #= 0 , X / Y #=2 .

It gives
X in 2..10,
X/Y#=2,
X mod Y#=0,
Y in 1..10.

But it's not very useful if I don't have couples of solutions, i.e. for X=2 -> Y=1 etc...
So how can I have the different couples?

 

[joel76]

X in 0..10 , Y in 0..10 , X mod Y #= 0 , X / Y #=2, label([X,Y]).

 

[synhedionn]

thanks, almost! ... but it gives

X = 2,
Y = 1

but why doesn't it give the other solutions too (ie X = 4,
Y = 2 ; X = 6,
Y = 3 ; 8,4 ; 10,5)?

 

[joel76]

No, type ; instead of <ENTER>.

 

[synhedionn]

ok, thanks a lot!