Task5.4

%Беседуют трое друзей: Белокуров, Рыжов и Чернов. Брюнет сказал Белокурову:
%«Любопытно, что один из нас блондин, другой – брюнет, а третий – рыжий, но ни у кого цвет
%волос не соответствует фамилии». Какой цвет волос у каждого из друзей?

имя(белокуров).
имя(рыжов).
имя(чернов).

цвет(блондин).
цвет(брюнет).
цвет(рыжий).

соответствие(X, Y):- имя(X), X = белокуров, цвет(Y), not(Y=блондин), not(Y=брюнет).
соответствие(X, Y):- имя(X), X = рыжов, цвет(Y), not(Y=рыжий).
соответствие(X, Y):- имя(X), X = чернов, цвет(Y), not(Y=брюнет).

решение(X1, Y1, X2, Y2, X3, Y3):-
X1 = белокуров, соответствие(X1, Y1),
X2 = рыжов, соответствие(X2, Y2),
X3 = чернов, соответствие(X3, Y3),
not(Y1=Y2), not(Y2=Y3), not(Y1=Y3).

%решение(X1, Y1, X2, Y2, X3, Y3)