disjoint2(+Rectangles)True iff Rectangles are not overlapping. Rectangles
is a list of terms of the form F(X_i, W_i, Y_i, H_i), where F is any
functor, and the arguments are finite domain variables or integers that
denote, respectively, the X coordinate, width, Y coordinate and height
of each rectangle.