/*
Tri mladica sede u parku i razgovaraju. 
Njihova prezimena su: Crnkovic, Zelenovic i Plavsic. 
U jednom trenutku jedan od njih je primetio:
- Nasa preziemna imaju veze sa bojama, a kod nas trojice 
oci su upravo crne, plave i zelene boje, slicno nasim prezimenima.
- To je doista interesanto - ukljucio se u razgovor mladic sa 
crnim ocima. A da li ste primetili da samo jedan od nas ima
prezime koje odgovara boji njegovih ociju. 
- U pravu ste, uzviknuo je Plavsic.
Da li je boja ociju zelenovica u skladu sa njegovim prezimenom?
*/
mladic( crnkovic ).
mladic( zelenovic ).
mladic( plavsic ).

boja_ociju( crna ).
boja_ociju( zelena ).
boja_ociju( plava ).

isto( crnkovic, crna ).
isto( zelenovic, zelena ).
isto( plavsic, plava ).

postavljenje( X, Y, Z, T, U, V ) :- mladic(X), boja_ociju(Y), isto( X, Y ),
  mladic( Z ), boja_ociju( T ), not isto( Z, T ),
  mladic( U ), boja_ociju( V ), not isto( U, V ),
  not ( X = plavsic, Y = crna ),
  not ( Z = plavsic, T = crna ),
  not ( U = plavsic, V = crna ),
  not( X=Z ), not( Z=U ), not( X=U ),
  not( Y=T ), not( T=V ), not( Y=V ).
  
boja_ociju_zelenovica_u_skladu :- postavljenje( zelenovic, _, _, _, _, _ ).