從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].