Task5.1

%Витя, Юра и Миша сидели на скамейке. В каком порядке они сидели, если известно, что
%Миша сидел слева от Юры, а Витя слева от Миши.

%Слева направо 1->3

имя(витя).
имя(юра).
имя(миша).

место(1).
место(2).
место(3).

соответствие(X, Y):- имя(X), X = витя, место(Y).
соответствие(X, Y):- имя(X), X = юра, место(Y).
соответствие(X, Y):- имя(X), X = миша, место(Y).

решение(X1, Y1, X2, Y2, X3, Y3):-
X1 = витя, соответствие(X1, Y1),
X2 = юра, соответствие(X2, Y2),
X3 = миша, соответствие(X3, Y3),
Y3 < Y2, Y1 < Y3.

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