如何使用差异列表和3+列表串联?

时间:2012-08-25 09:44:25

标签: prolog

我的代码中有以下状态: One step before conc 在下一步之后我得到了

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

在Bindings中。如何解决这个问题并使最后的工作正常进行?正如您所看到的,我理解如何使用单个conc,但我不明白如何使用多个conc。

1 个答案:

答案 0 :(得分:1)

Fisrt,你使用相同的参数到X和List的尾部(都是T)

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

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