リストを分割して、リストの各要素をプロローグの深さでインクリメントします

Question

リストのすべての要素をその深さだけ増やそうとしています。たとえば、

foo([0, 0, [0]], [1, 1, [2]]) -> true 

また、私は組み込みのPrologリスト述語なしでこれを行いたいと思います。どのようにこれを解決するための任意のアイデアですか？

Answer 1

divide_halfの場合、リストは何らかの種類の分割を定義し、分割の部分は十分に近い長さの2つのことを検証する必要があります（個別に行うことができます）。

2番目は、各要素の検索を開始し、それを修正して深さを追跡し、最後にTHATを変更して要素の変更を加えたリストのコピーを作成します（ただし、数字を何か1つ増分することを意味します）。

Answer 2

この定義は、任意の組み込み述語せずにリストを分割：鉛

halve(List, A, B) :- halve(List, List, A, B). 
halve(B, [], [], B). 
halve(B, [_], [], B). 
halve([H|T], [_,_|T2], [H|A], B) :- 
    halve(T, T2, A, B).