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

/* Folklore. */

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