p(X,Y,Z) :- s(X) -> (q(X,Y) // r(X,Z)).
s(1).    s(2).
q(1,2).  q(1,4).   q(2,12).  q(2,14).
r(1,10). r(1,100). r(2,20).  r(2,200).

?- p(X,Y,Z).