prolog - 差分リストと 3 つ以上のリストの連結を操作するには?

Question

私のコードには次の状態があります: 次のステップの後、私は取得します

(cycle) T1=[26, 25|T1]

バインディングで。それを解決し、最後のコンクを適切に機能させるにはどうすればよいですか? ご覧のとおり、単一の conc を操作する方法は理解していますが、複数の conc を操作する方法はわかりません。

Answer 1

最初に、X とリスト (両方とも T) の末尾に同じパラメーターを使用しています。

しかし、それだけの問題ではないと思います

TmpL1 = [[25|T1]-T1,[26|T2]-T2,[24,25|T1]-[25|T1]] 最初と 3 番目のリストは同じ末尾 (T1) を持ち、3 番目のリストは 25 を持ちますテール、テールには Unsatisfied パラメータのみが必要です