% Praegu on aasta 2019.
aasta(2019).

% Marcus on mees.
mees(marcus).
% Jaan on mees.
mees(jaan).

% Marcus on Pompej elanik.
elanik(marcus, pompej).
% Francesco on Pompej elanik.
elanik(francesco, pompej).

% Marcus sündis aastal 40.
syndis(marcus, 40).
% Jaan sündis aastal 1977.
syndis(jaan, 1977).
% Francesco sündis aastal 1989.
syndis(francesco, 1989).

% Kõik mehed on surelikud.
surelik(X) :- mees(X).

% Kõik Pompej elanikud surid vulkaanipurske tagajärjel aastal 79.
surnud(Isik) :-
    elanik(Isik, pompej),       % on pompej elanik
    aasta(Praegune_Aasta),
    Praegune_Aasta >= 79,       % praegu on aasta 79 või rohkem
    syndis(Isik, Synniaasta),
    Synniaasta =< 79.           % sündinud enne õnnetust aastal 79

% Ükski surelik ei ela rohkem kui 150 aastat.
surnud(Isik) :-
    syndis(Isik, Synniaasta),
    aasta(Hetke_Aasta),
    Max_Elupikkus is Synniaasta + 150,
    Max_Elupikkus =< Hetke_Aasta.

% Kas on elus?
elus(Isik) :- not(surnud(Isik)).

% Küsimused:
% elus(marcus).
% surnud(jaan).
% surnud(francesco).