1 filled(X,Y) :- bottle(B,X,Y), not unfilled(X,Y).
   2 unfilled(X,Y) :- bottle(B,X,Y), not filled(X,Y).
   3 
   4 :- xvalue(Y,V), not #count{ X : filled(X,Y) } = V.
   5 :- yvalue(X,V), not #count{ Y : filled(X,Y) } = V.
   6 
   7 :- bottle(B,X1,Y1), bottle(B,X2,Y2), ysucc(Y1,Y2), filled(X1,Y1), unfilled(X2,Y2).
   8 :- bottle(B,X1,Y), bottle(B,X2,Y), filled(X1,Y), unfilled(X2,Y), X1 != X2.