Task5.6

%Известно, что Волга длиннее Амударьи, а Днепр короче Амударьи. Лена длиннее Волги.
%Определить вторую по протяженности реку.

%короче->длиннее 1->4

имя(волга).
имя(амударьи).
имя(днепр).
имя(лена).

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

соответствие(X, Y):- имя(X), X = волга, место(Y).
соответствие(X, Y):- имя(X), X = амударьи, место(Y).
соответствие(X, Y):- имя(X), X = днепр, место(Y).
соответствие(X, Y):- имя(X), X = лена, место(Y).

решение(X1, Y1, X2, Y2, X3, Y3, X4, Y4):-
X1 = волга, соответствие(X1, Y1),
X2 = амударьи, соответствие(X2, Y2),
X3 = днепр, соответствие(X3, Y3),
X4 = лена, соответствие(X4, Y4),
Y1 > Y2, Y3 < Y2, Y4 > Y1,
Y1 == 3, writeln(X1), !, fail;
Y2 == 3, writeln(X2), !, fail;
Y3 == 3, writeln(X3), !, fail;
Y4 == 3, writeln(X4), !, fail.



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