'0.5' :: s(A,D) :- A=[a|B], s(B,C), C=[a|D]. '0.3' :: s(A,D) :- A=[b|B], s(B,C), C=[b|D]. '0.1' :: s([b,b|T],T). '0.1' :: s([a,a|T],T).