правитель('Ярослав Мудрый', 1019, 1054).
правитель('Изяслав первый', 1054, 1077).
правитель('Всеволод', 1078, 1093).
правитель('Светополк Второй', 1092, 1112).
правитель('Владимир Мономах', 1113, 1125).
правитель('Мстислав Великий', 1125, 1132).

правил(X, Y) :- правитель(X, A, B), A =< Y, B >= Y.

?- правил(X, 1090).
X = 'Всеволод' ;
false.

?- правил(X, 1050, 1080).
ERROR: Arguments are not sufficiently instantiated
ERROR: In:
ERROR:   [10] 1019<_3120
ERROR:    [9] правил('Ярослав Мудрый',_3146) at /home/tiiriix/repos/prolog/practise2_1.pl:8
ERROR:    [8] правил('Ярослав Мудрый',1050,1080) at /home/tiiriix/repos/prolog/practise2_1.pl:9
ERROR:    [7] <user>

❰tiiriix❙~/repos/prolog(git≠master)❱✔≻ swipl --version
SWI-Prolog version 7.6.4 for x86_64-linux