prolog - 2 つ以上の入力に追加で後継関数を使用するにはどうすればよいですか?

Question

ここに 2 つの入力の加算コードがあります (X+1 と Y の合計が Z+1 の場合に Z に結果が必要なように)。

    natural_number(0).
    natural_number(s(X)) :- natural_number(X).

    pl(0,X,X) :- natural_number(X).
    pl(s(X),Y,s(Z)) :- pl(X,Y,Z).

しかし、次のような3つのコンポーネントに同様のコードを使用できるのだろうか

    pl(s(0),s(s(0)),s(s(s(0))),W) 
    and got a result W = s(s(s(s(s(s(0))))))

前もって感謝します。