#\/

From: Olivier Thirifay <olithiri_at_hotmail.com>
Date: Mon 19 Nov 2001 11:58:04 AM GMT
Message-ID: <F132uNY1SWoBDyseVwr000021a2@hotmail.com>
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
Received on Mon Nov 19 12:02:49 2001

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:11 PM GMT GMT