% from Harald Ganzinger, Uwe Waldmann:
%      Termination Proofs of Well-Moded Logic Programs
%      via Conditional Rewrite Systems

:- p(i,o).

% mode: p[i,o]
p(X, g(X)).
p(X, f(X)) :- p(X, g(Y)).