在Prolog中，当我使用绑定到多个值的变量时，如何创建列表列表？

Question

问题

我正在尝试将我创建的所有新列表移动到一个超级列表列表中。而是将输出格式化为一堆单独更改的列表。

问题可能源于我使用between分配Iterations和Size的事实，但我不确定我还能做些什么。

输入

placeRedBlocks(4, X), loopReplace(X, Y), append([X], [Y], Z).

期望

Z = [[b, b, b, b], [r, r, r, b], [r, r, r, r], [b, r, r, r]]

现实

X = [b, b, b, b],
Y = [r, r, r, b],
Z = [[b, b, b, b], [r, r, r, b]]
X = [b, b, b, b],
Y = [r, r, r, r],
Z = [[b, b, b, b], [r, r, r, r]]
X = [b, b, b, b],
Y = [b, r, r, r],
Z = [[b, b, b, b], [b, r, r, r]]
false

代码说明

此prolog代码获取值列表并替换指定的值并将其返回到另一个列表中。

placeRedBlocks(Length, List) :-
    findall('b', between(1, Length, _), List).

replace([_|T], 0, X, [X|T]).
replace([H|T], I, X, [H|R]):- 
  I > -1,
  NI is I-1,
  replace(T, NI, X, R), !.

replaceX(A,_,0,_,A):- !.
replaceX(Line,Index,NumElm,Elm,NLine) :-
  replace(Line,Index,Elm,BLine),
  Index1 is Index+1,
  NumElm1 is NumElm-1,
  replaceX(BLine,Index1,NumElm1,Elm,NLine).

loopReplace(ListToReplace, NewList) :-
    length(ListToReplace, Len),
    TotalCount is Len-3,
    between(0, TotalCount, Iterations),
    between(3, Len, Size),
    replaceX(ListToReplace, Iterations, Size, 'r', NewList).

在replaceX：

Line是您尝试替换值的列表。Index是列表中您开始替换值的位置。 NumElm是您要替换的元素数量。 Elm是替换列表中其他值的字符或数字。 NLine是输出的列表。

Answer 1

在弄乱findall/3和bagof/3之后，我找到了一个适用于我的问题的答案。

输入

placeRedBlocks(7, X), findall(Y, loopReplace(X, Y), Z).

会得到我

Z = [[r, r, r, b, b, b, b], [r, r, r, r, b, b, b], [r, r, r, r, r, b, b], [r, r, r, r, r, r, b], [r, r, r, r, r, r, r], [b, r, r, r, b, b, b], [b, r, r, r, r, b, b], [b, r, r, r, r, r, b], [b, r, r, r, r, r, r], [b, b, r, r, r, b, b], [b, b, r, r, r, r, b], [b, b, r, r, r, r, r], [b, b, b, r, r, r, b], [b, b, b, r, r, r, r], [b, b, b, b, r, r, r]]