RosettaCodeData/Task/Mutual-recursion/MiniZinc/mutual-recursion.minizinc

function var int: F(var int:n) =
  if n == 0 then
    1
  else
    n - M(F(n - 1))
  endif;

function var int: M(var int:n) =
  if (n == 0) then
    0
  else
    n - F(M(n - 1))
  endif;