% Pol. Pref. 

rS(A, Z) :- rOp(A, B), rS(B, C), rS(C, Z).
rS(A, B) :- rCte(A, B).
rS(A, B) :- rVbl(A, B).
rOp([+|Z], Z).
rOp([*|Z], Z).
rCte([1|Z], Z).
rCte([2|Z], Z).
rVbl([x|Z], Z).
rVbl([y|Z], Z).

%rS([+,*,2,x,1], []).
%rS([*,+,x,*,y,+,x,2,+,y,1], []).