append([], Y, Y).
append([H|X], Y, [H|Z]) :- append(X, Y, Z).

myconcat([], []).
myconcat([Xs|Xss], Ys) :- append(Xs, Zs, Ys), myconcat(Xss, Zs).