/* 
*/


predicates( [p] ).


:-option(special_relations(off)).      % otherwise trivial


p(X,Y), p(Y,Z) -> p(X,Z).


precedence( [p] ).

:-ordering(sto).

:-option([crw_depth(1),memo_constraints(on)]).
%:-option(crw_depth(1)).
:-sama([]).             % We want saturation by ordered resolution w/o sel.
:-sarp([1-7,10-15]).    % the usual + clausal rewriting  
:-sams([3,19]).      % messages about redundancy proofs by clausal rewrtng.