Конкатенация списков в прологе
Может ли кто-нибудь помочь найти ошибку в этих правилах?
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