Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
out_list1(Xs, M, Ys) :- M > 0, out_list1(Xs, Xs, 1, M, Ys). out_list1([], [], _, _, []). out_list1([], [X0 | Xs0], N, M, Ys) :- !, out_list1([X0 | Xs0], [X0 | Xs0], N, M, Ys). out_list1([X | Xs], Xs0, M, M, [X | Ys]) :- append(Xs1, [X | Xs], Xs0), append(Xs, Xs1, Xs2), !, out_list1(Xs2, Xs2, 1, M, Ys). out_list1([_ | Xs], Xs0, N, M, Ys) :- N1 is N + 1, out_list1(Xs, Xs0, N1, M, Ys). /** <examples> ?- out_list1([1,2,3,4,5,6,7,8,9], 3, Ys). */