Как я могу удалить первые N элементов из списка в Прологе? Как я могу получить первые N элементов из списка в другой список? Мне это нужно для того, чтобы вставить список в другой список из указанной позиции. У меня уже есть функция конкатенации, и я планирую получить список первых N элементов исходного списка, объединить его со вторым списком, а затем объединить результат со списком оставшихся элементов в первом списке (полученном удалением первого N элементов).
?- length(X, 3), append(X, Y, [a,b,c,d,e,f,g,h]). X = [a, b, c], Y = [d, e, f, g, h].