concat([], List, List).
concat([Head|[]], List, [Head|List]).
concat([Head|Tail1], List, [Head|Tail2]) :- concat(Tail1, List, Tail2).