%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Is Marcus Dead?
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Set Binary Resolution
set(binary_res).
set(prolog_style_variables).
% Turn on all the print flags
set(very_verbose).
% The list of operators (rewritten to be more readable)
make_evaluable(_-_, $DIFF(_,_)).
make_evaluable(_+_, $SUM(_,_)).
make_evaluable(_<_, $LT(_,_)).
make_evaluable(_<=_, $LE(_,_)).
make_evaluable(_>_, $GT(_,_)).
make_evaluable(_>=_, $GE(_,_)).
make_evaluable(_==_, $EQ(_,_)).
% Set of Usable Formulas (will be converted to clauses)
formula_list(usable).
(all x all t (alive(x,t) -> -dead(x,t))).
(all x all t1 all t2 ((born(x,t1) & (t2-t1 > 150)) -> dead(x,t2))).
(pompeian(marcus) & loyalto(marcus,cesear)).
end_of_list.
% Set of Usable Clauses
list(usable).
born(marcus,40).
end_of_list.
% Set of Support
list(sos).
alive(marcus,1994).
end_of_list.