add(X,Y,Sum) :- S is X + Y.
