最初の長さが与えられた2つのリストを分割する

Question

最初の長さを与えられた2のリストを分割する関数を作成したいと思います。

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

Answer 1

あなたが望む結果を記述しようとすることから始めましょう。 ListをStartとEndに分割し、Startの長さをLengthにする必要があります。注意点としては

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

---

、lengthとappendの順序は、効率の違いを生むだろう。 appendが最初に置かれた場合、appendはListの最初のゼロ要素でStartを統一し、長さチェックで失敗し、最初の要素、次に最初の2つ、3つの順にStartを統合します接頭語はListで、長さはLengthです。これらの明らかなデッドエンドをすべて回避するには、まずlengthを目標に設定します。これにより、正しいサイズのリストが表示されます。