RosettaCodeData/Task/Mutual-recursion/Picat/mutual-recursion-1.picat

table
f(0) = 1.
f(N) = N - m(f(N-1)), N > 0 => true.

table
m(0) = 0.
m(N) = N - f(m(N-1)), N > 0 => true.