Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
/** <examples> ?- splash([1,2,3,4,5,6], Zs). */ splash([], []). splash([X1], [X1]). splash([X1, X2 | Xs], [X1 | Zs]) :- splash(Xs, [X2], Zs). splash([], Ys, Ys). splash([X1], Ys, [X1 | Ys]). splash([X1, X2 | Xs], Ys, [X1 | Zs]) :- splash(Xs, [X2 | Ys], Zs). /** <examples> ?- splash([], Zs). ?- splash([1], Zs). ?- splash([1,2], Zs). ?- splash([1,2,3], Zs). */