% obarvi bez negace
obarvi(A,B,C,D,E):- sousedi(A,B),sousedi(A,C),sousedi(A,D),sousedi(A,E),sousedi(B,C),sousedi(B,D),sousedi(B,E), sousedi(C,D),sousedi(D,E).

sousedi1(bila,cerna).
sousedi1(bila,cervena).
sousedi1(bila,modra).
sousedi1(cerna,modra).
sousedi1(cerna,cervena).
sousedi1(cervena,modra).

sousedi(X,Y):-sousedi1(X,Y).
sousedi(Y,X):-sousedi1(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(bila).
barva(cerna).
barva(cervena).
barva(modra).
