[eclipse 13]: A #> B. A = A[-9999999..10000000] B = B[-10000000..9999999] ... [eclipse 14]: compile(user, fd_arith). default_domain(X) :- X::0..100000000. user compiled traceable 56 bytes in 0.00 seconds yes. [eclipse 20]: X #> Y. X = X[1..100000000] Y = Y[0..99999999]