将列表拆分为两部分，其中第一部分的长度为

Question

我想创建一个函数，在第一部分的长度给定的情况下，我们将列表拆分为2。

split(L,0,[],L). 

任何想法？

Answer 1

从考虑描述你想要的结果开始。您可以将分解为Start和End，并且Start的长度应为Length。

split(List, Length, Start, End) :- 
    length(Start, Length), 
    append(Start, End, List). 

---

作为注，length和append订单将使效率的差异。如果append被放在第一位，那么追加将统一Start与List的第一个零元素，并将在长度检查上失败，然后将统一Start与第一个元素，然后前两个，然后三个，依此类推，直到它到达前缀为List，长度为Length。您可以首先将length目标放在第一位，这样可以避免所有这些明显的死胡同，这将以一个正确大小的列表开始。