pravil(yaroslavmudryiy,1019,1054).
pravil(izyaslavpervyiy,1054,1077).
pravil(vsevolodpervyiy,1078,1093).
pravil(svyatopolkvtoroy,1092,1112).
pravil(vladimirmonomah,1113,1125).
pravil(mstislavvelikiy,1125,1132).

pravitel(X,Y) :- pravil(X,A,B),Y>=A,Y=<B. 

solve(Y) :-
 pravitel(X,Y),
 write(X),
 nl,
 fail.