Partial strings: #95
Description
?- X = [a,b,c|_], X = [a,b,c|Y].
X = [a, b, c | _1], Y = _1. %%% OK
?- partial_string("abc",X), X = [a,b,c|Y].
X = [a, b, c | _], Y = _. %%% ???
Why this difference?