[%] 잘 안 풀린다.

[기괴공학도(mecheng98)]

1. Nat
2. {
3.     succ( Nat ) → 's' 1.
4.     zero( ) → 'z'.
5. }
6. Plus( Nat, Nat, Nat ).
7. / Plus( x, 'z', x ).
8. Plus( x, y, z ) / Plus( x, 's' y, 's' z ).
9. Main( Nat, Nat ).
10. Plus( x, y, z ), Plus( y, x, z ) / Main( x, y ).

이 코드를 해석한 인터프리터가 "Main( a, b )?"를 질의로 받으면

어떻게든 "a, b가 자연수이면 된다"와 같은 의미의 응답을 하면 되는데

그런 알고리듬을 짜는 게 어렵네요. ㅠㅠ