数の概念って、ペアノの公理系とか？

suc( zero, りんご ).
suc( りんご, バナナ ).
suc( バナナ, いちご ).
suc( いちご, みかん ).
suc( みかん, キウイ ).

add( zero, X, X ) :- !.
add( A, B, C ) :- suc( P, A ), suc( B, N ), add( P, N, C ).

?- add( りんご, バナナ, X ).

X = いちご