Prolog“findall/3”不返回列表

Question

我很难理解为什么 findall/3 在我的程序中会这样。基本上我已经写了我的谓词， 那应该是一个 list ，并返回每个可能的索引，例如，如果我的 list 长度为 3， pairs([1,2,3],L) 将返回 [1/2, 1/3, 2/3] 这是我预期的列表。（在我的对谓词中，我使用 findall 生成此列表 L）
但是我写了另一个谓词，它应该返回一个列表，其中包含一个列表的所有子列表，并且该谓词也使用 findall，但结果不是我所期望的。

/*calculate a list CASES with all the sublists from LIST .*/
test(LIST, CASES):-
   pairs(LIST, L),
   member(X/Y, L),  
   findall(SUBLIST, sublist(LIST, X, Y,  SUBLIST), CASES).

结果是这样的（我必须按; 才能生成所有结果）。

[[1, 2]]    
[[1, 2, 3]] 
[[2, 3]]

为什么 findall 的结果没有附带列表？

Answer 1

当评估findall(SUBLIST, sublist(LIST, X, Y, SUBLIST), CASES) 时，X 和 Y 已经绑定到值。对于 sublist([1, 2, 3], 1, 2, SUBLIST)，只有一个解决方案 ([1, 2])，它 findall 在列表中返回。

当您回溯时，X 和 Y 被分配不同的值，并且 findall 再次被评估，导致不同的单个结果。

你必须在 findall 中移动成员调用

test(LIST, CASES):-
   pairs(LIST, L), 
   findall(SUBLIST, (member(X/Y, L), sublist(LIST, X, Y,  SUBLIST)), CASES).

（我不再完全确定语法，但它是这样的）