#\/

Hello,

I would like some information about #\/...

I execute the following predicate :
test(R):-R=[A,B,C],
A::[0,1],
B::[2,3],
C::[4,5],
(A#=0 #/\ B#=2 #/\ C#=4)#\/(A#=1 #/\ B#=3 #/\ C#=5),
labeling(V).

It gives no result : why ?
When I trace, I can see :
0#=0 #/\ 2#=2 #/\ 4#=4)#\/(...)
Why it doesn't return true (like when I use ';' instead of '#\/') ?

If there's a difference between #\/ and ;
is there a difference between #/\ and , (I think no after reading the 
documentation) ?

Thanks
Olivier

_________________________________________________________________
Téléchargez MSN Explorer gratuitement à l'adresse 
http://explorer.msn.fr/intl.asp