% Ex.13
split(_, [], [], []).
split(X, [H | T], [H | T1], T2) :- H < X, split(X, T, T1, T2).
split(X, [H | T], T1, [H | T2]) :- H >= X, split(X, T, T1, T2).

sortV2([], []).
sortV2([H | T], S) :- split(H, T, T1, T2), sortV2(T2, S2), sortV2(T1, S1), append(S1, [H | S2], S).

% Ex.17
rgb([]).
rgb([r]).
rgb([g]).
rgb([b]).
rgb([A, B | Lst]) :- A =  B, rgb([B | Lst]).
rgb([A, B | Lst]) :- A == r, B == g, rgb([B | Lst]).
rgb([A, B | Lst]) :- A == g, B == b, rgb([B | Lst]).