%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% 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.