:- 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]).


    
