- 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.