barva(cervena).
barva(modra).
barva(zelena).
barva(zluta).
obarvi :- barva(CR), barva(Slo), barva(Rak), barva(Pol), CR \= Pol, CR \= Rak, CR \= Slo, Slo \= Rak,
write(CR : Slo : Rak : Pol),fail.