q(X + Y) :- p(X), p(Y).