Объединение списков в Прологе

Может ли кто-нибудь помочь найти ошибку в этих правилах?

concat([], List, List).
concat([Head|[]], List, [Head|List]).
concat([Head|Tail], List, Concat) :- concat(Tail, List, C), concat(Head, C, Concat).

Попытка объединить 2 списка не удалась:

| ?- concat([1,2], [4,7,0], What).

no