prolog - 如何使用差异列表和 3+ 列表连接？

Question

我的代码中有以下状态： 在下一步之后我得到

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

在绑定中。如何解决这个问题并使最后一个浓度正常工作？如您所见，我了解如何使用单个 conc，但我不了解如何使用多个 conc。

Answer 1

首先，您对 X 和 List 的尾部使用相同的参数（都是 T）

但我认为这不是唯一的问题

TmpL1 = [[25|T1]-T1,[26|T2]-T2,[24,25|T1]-[25|T1]] 第一个和第三个列表具有相同的尾部（T1），第三个列表也有 25 个tail，tail 应该只有 Unsatisfied 参数