prolog - A が B より小さいか等しい場合に真となるプロローグの述語

Question

test(A,B)A が B より小さいか等しい場合に真となる述語をプロローグに書きたいと思います。

クエリの例 (true を返す必要があります):

test(s(s(0)), s(s(s(0)))).
test(s(s(s(0))), s(s(s(0)))).

これは私がこれまでに書いたコードです：

test(0,0).
test(0, s(B)) :- nat(B).
test(s(A),s(B)) :- test(A,B).

しかし、それは機能しません。