THIRD LAB, Prolog - rextester

Language: Layout:

% название города, население (тыс.), год основания, площадь (км^2), федеральный округ
% Федеральные округа:
% centralniy        \ Центральный
% severo_zapadniy   \ Северо-Западный
% yuzhniy           \ Южный
% severo_kavkazskiy \ Северо-Кавказский
% privolzhskiy      \ Приволжский
% uralskiy          \ Уральский
% sibirskiy         \ Сибирский
% dalnevostochniy   \ Дальневосточный
%
town(arhangelsk, 350, 1584, 294, severo_zapadniy).
town(astrahan, 524, 1558, 208, yuzhniy).
town(barnaul, 631, 1730, 322, sibirskiy).
town(belgorod, 392, 1596, 153, centralniy).
town(blagoveshensk, 226, 1856, 321, dalnevostochniy).
town(bryansk, 400, 985, 187, centralniy).
town(velikiy_novgorod, 225, 800, 90, severo_zapadniy).
town(vladivostok, 600, 1860, 331, dalnevostochniy).
town(vladimir, 352, 990, 137, centralniy).
town(volgograd, 1005, 1589, 859, yuzhniy).
town(vologda, 309, 1147, 116, severo_zapadniy).
town(voronezh, 1050, 1586, 596, centralniy).
town(grozniy, 325, 1818, 324, severo_kavkazskiy).
town(ekaterinburg, 1495, 1723, 1111, uralskiy).
town(ivanovo, 402, 1561, 105, centralniy).
town(irkutsk, 618, 1661, 305, sibirskiy).
town(kazan, 1257, 1005, 589, privolzhskiy).
town(kaliningrad, 493, 1255, 224, severo_zapadniy).
town(kaluga, 332, 1371, 168, centralniy).
town(kirov, 521, 1181, 170, privolzhskiy).
town(saratov, 830, 1590, 393, privolzhskiy).

isOldTown(Town) :- town(Town, X, Y, Z, W), Y < 1400, write(Town), write(' - '), write(Y), nl.
% FO - федеральный округ
sortByFO(FO) :- town(O, X, Y, Z, FO), write(O), write(' - '), write(FO), nl.
% Size Index
% 0 - малый
% 1 - средний
% 2 - большой
% 3 - крупный
% 4 - крупнейший
sortBySize(SizeIndex, Town) :-
    town(Town, X, Y, Z, W),
    (SizeIndex == 0, X < 50 -> write(Town), write(' - Малый (по населению)'),nl; write('')),
    (SizeIndex == 1, X >= 50, X < 100 -> write(Town), write(' - Средний (по населению)'),nl; write('')),
    (SizeIndex == 2, X >= 100, X < 250 -> write(Town), write(' - Большой (по населению)'),nl; write('')),
    (SizeIndex == 3, X >= 250, X < 1000 -> write(Town), write(' - Крупный (по населению)'),nl; write('')),
    (SizeIndex == 4, X >= 1000 -> write(Town), write(' - Крупнейший (по населению)'),nl; write('')).
     
% -- TO INPUT --
% bagof(T, isOldTown(T), R).   - список старинных городов (год основания < 1400)
% bagof(centralniy, sortByFO(centralniy), r).  - какие города относятся к данному ФО
% bagof(T, sortBySize(3, T), r). - найти все (0)малые, (1)средние, (2)большие, (3)крупные, (4)крупнейшние (по населению) города

[ - ] Show input
Absolute running time: 0.32 sec, cpu time: 0.16 sec, memory peak: 7 Mb, absolute service time: 0,36 sec