s(X) :- p(X).
s(X) :- q(X).

#external p(1).
#external q(1).