:- use_module(library(clpfd)).
good_nums(L) :-
    L in 1..200000,
    2 * H #= L,
    X1 #= L + 1,
    X2 #= H + 1,
    sq(X1),
    sq(X2),
    labeling([], [L]).

sq(X) :-
    M * M #= X.


house(S, En) :-
    En = [F, I, E, Ch, R, D, T, W],
    F #>= S + 7,
    I #>= F + 4,
    E #>= F + 3,
    Ch #>= F + 3,
    R #>= E + 2,
    D #>= I + 2,
    T #>= Ch + 3,
    W #>= E + 3,
    maximum(Mx, En),
    Mx #=< 15,
    labeling([min(Mx)], En).




lectures(V, H) :-
    V = [V1, V2, V3, V4, V5, V6],
    V ins 1..100,

    V1 #\= V2,
    V1 #\= V4,
    V3 #\= V5,
    V2 #\= V6,
    V4 #\= V5,
    V5 #\= V6,
    V1 #\= V6,

    maximum(H, V),
    labeling([min(H)], V).

maximum(Max, [H|T]):-
		maxi(T, H, Max).

maxi([], Max, Max).
maxi([H|T], Cur, Max):-
		Tmp #= max(Cur, H),
		maxi(T, Tmp, Max).