?- voirCV('xml/ord.xml').
a=a imp (b>a imp a<=b)
0=0 imp (0<b-a imp 0<b-a ou 0=b-a)
[]
[]
a=a imp (non b>a imp b<=a)
0=0 imp (non 0<b-a imp 0>b-a ou 0=b-a)
[[[0=0],[0<b-a,0>b-a,0=b-a]]]
[]
-----------
VRAI
VRAI
true ;
false.