subst([a,b,b,a,a,a,b,a,b,b,a],[a,b],[c,d],S)?
;
;
;
subst([a,b,c],X,[d,e],Y)?
;
;
;
;
;
;
;
;
;
;

