まずは自然数を定義 %num(X):-Xは自然数。0,1,2,... = 0,s(0),s(s(0)),... num(0). num(s(X)):-num(X).実行してみると正しいことがわかる。 ?- num(0). true. ?- num(s(0)). true. ?- num(s(s(0))). true. 足し算の定義 %num(X):-Xは自然数。0,1,2,... = 0,s…