Program of marcus...............
predicates man(symbol) pompeian(symbol) die(symbol,integer) alive(symbol,integer) gt(integer,integer) clauses man(marcus). pompeian(marcus). die(X,Now) :- pompeian(X),gt(Now,79). alive(X,Now) :- not(die(X,Now)). gt(Op1,Op2) :- Op1 > Op2.