xyz( [ ], 0, [ ] ) .
xyz( [N|Rest], S, [N|RestResult] ) :-
xyz(Rest, S1, RestResult ) .
xyz( [N|Rest], S, RestResult ) :-
xyz(Rest, S, RestResult ) .
?_xyz([1,2,3,4,5],5,Result)
eHl6KCBbIF0sIDAsIFsgXSApIC4KCnh5eiggW058UmVzdF0sIFMsIFtOfFJlc3RSZXN1bHRdICkgOi0KUzEgaXMgUyAtIE4sCnh5eihSZXN0LCBTMSwgUmVzdFJlc3VsdCApIC4KCnh5eiggW058UmVzdF0sIFMsIFJlc3RSZXN1bHQgKSA6LQp4eXooUmVzdCwgUywgUmVzdFJlc3VsdCApIC4KCj9feHl6KFsxLDIsMyw0LDVdLDUsUmVzdWx0KQo=