:- lib(ic). exo4(A,B,C,D) :- [A,B,C,D]::[20..40], 2*D #= B, abs(A-B) #= abs(C-D), 2*abs(A-C) #= abs(B-D), A #> C, labeling([A,B,C,D]).