Почему в Prolog разделяют списки на голову и хвост?

В Prolog разделяют списки на голову и хвост для организации рекурсивной обработки списков. intuit.ru

Голова списка — это первый элемент, который является отдельным неделимым значением. verim.org Хвост же представляет собой список, составленный из того, что осталось от исходного списка после отделения головы. verim.org Если хвост не пуст, его также можно разбить на голову и хвост. intuit.ru И так до тех пор, пока не будет достигнут пустой список, у которого нет головы. intuit.ru

Разделение на голову и хвост позволяет отделять первый элемент и обрабатывать его отдельно, что работает вне зависимости от длины списка. verim.org

Операция деления списка на голову и хвост обозначается в Prolog с помощью вертикальной черты (|). verim.org