% obarvi bez negace
obarvi(A,B,C,D,E):- ruzne(A,B),ruzne(A,C),ruzne(A,D),ruzne(A,E),ruzne(B,C),ruzne(B,D),ruzne(B,E), ruzne(C,D),ruzne(D,E).

ruzne1(zluta,zelena).
ruzne1(zluta,cervena).
ruzne1(zluta,modra).
ruzne1(zelena,modra).
ruzne1(zelena,cervena).
ruzne1(cervena,modra).

ruzne(X,Y):-ruzne1(X,Y).
ruzne(Y,X):-ruzne1(X,Y).

% obarvi1 s negaci
obarvi1(A,B,C,D,E):-barva(A),barva(B),barva(C),barva(D),barva(E), A\=B, A\=C, A\=D, A\=E, B\=C,B\=D,B\=E,C\=D,D\=E.

barva(zluta).
barva(zelena).
barva(cervena).
barva(modra).
