從Prolog中的列表中刪除前N個元素

Question

如何從Prolog中的列表中刪除前N個元素？ 如何將列表中的前N個元素轉換為另一個列表？ 我需要這個，以便從指定位置的另一個列表中插入一個列表。 我已經有了連接函數，並計划獲取初始列表的前N個元素的列表，將其與第二個列表連接，然后將結果與第一個列表中剩余元素的列表連接起來（通過刪除第一個N個元素）。

Answer 1

?- length(X, 3), append(X, Y, [a,b,c,d,e,f,g,h]).
X = [a, b, c],
Y = [d, e, f, g, h].