% Ejercicio de la vida de Marco desarrollado en Amzi Prolog

% Por Ing. Bruno López Takeyas

% -----------------------------------------------------------------

hombre(marco).
pompeyano(marco).
nace(marco,40).
mortal(X):-hombre(X).
murio(X,79):-pompeyano(X).
erupcion(volcan,79).
muerto(X,T2):-mortal(X),nace(X,T1),mayor(T2-T1,150).
ahora(2011).
vivo(X,T):-not(muerto(X,T)).
\+muerto(X,T):-vivo(X,T).
mayor(X,Y):-X>Y.
muerto(X,T2):-murio(X,T1),mayor(T2,T1).