
p(L-Tl,Tl-Ty,L-Ty).

/*
| ?-  p([a,b,c|T]-T,[c,d|Y]-Y,L-[]).

T = [c,d]
Y = []
L = [a,b,c,c,d]

true
*/


