recursion(Start, [Tail|Tails], [_|Alphas], Beta, [X|Xs]):-
second(5,Beta,Tail,X),
recursion(Start, Tails, Alphas, Beta,Xs).
recursion(_,[],[],_,[]).
second(_,_,_,6).
:- recursion
([1, 2], [1, 2], [[1, 1], [2, 2]], 0, X
), write(X
), nl.
cmVjdXJzaW9uKFN0YXJ0LCBbVGFpbHxUYWlsc10sIFtffEFscGhhc10sIEJldGEsIFtYfFhzXSk6LQogIHNlY29uZCg1LEJldGEsVGFpbCxYKSwKICByZWN1cnNpb24oU3RhcnQsIFRhaWxzLCBBbHBoYXMsIEJldGEsWHMpLgpyZWN1cnNpb24oXyxbXSxbXSxfLFtdKS4KCnNlY29uZChfLF8sXyw2KS4KCjotIHJlY3Vyc2lvbihbMSwgMl0sIFsxLCAyXSwgW1sxLCAxXSwgWzIsIDJdXSwgMCwgWCksIHdyaXRlKFgpLCBubC4K