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

我在我的代码如下状态： One step before conc 下一步后，我得到如何使用差异列表和3+列表连接？

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

在绑定。如何解决这个问题，并使最后的浓缩工作正常？正如你所看到的，我明白如何使用单一浓度，但我不明白如何处理多个浓度。

2012-08-25 Vitali Pom

谓词的目的就像conc/3它恰恰是'隐藏'实现细节（在这个例子中就是短划线运算符）。尝试在不扩大内部细节的情况下表达算法，即使用L1而不是List1-T1等等......当然，您将获得可读性。 – CapelliC

@chac，为了使用差异列表，我们必须使用L1-T的形式。请简要解释你的意思。 –

如果您发布了代码，我会尝试重写，现在我有点懒惰... – CapelliC

最前一页，您使用的是X和列表（均为T）

的尾部相同的参数，但我认为这不是唯一的问题

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

2012-08-25 10:42:12

回答