(VAR m n r )
(RULES 
        p(m, n, s(r)) -> p(m, r, n)
        p(m, s(n), 0) -> p(0, n, m)
        p(m, 0, 0) -> m
        
)