Мне нужно удалить первый элемент из списка (заголовок). Как мне это сделать?
Может быть что-то вроде:
removehead([_|Tail], Tail).
Тест:
prolog> removehead([1,2,3,4], R). [2,3,4]
R здесь не связан и используется для привязки к нему результата.
R