%query: plus(b,f,f).

/* yet another plus variant using predecessor */

p(s(0),0).
p(s(s(X)),s(s(Y))) :- p(s(X),s(Y)).
plus(0,Y,Y).
plus(s(X),Y,s(Z)) :- p(s(X),U), plus(U,Y,Z).