初始化列表的序言长度将新列表添加到现有列表

Question

puzzle(ListToAdd,ListToAdd1,Res,_,Carry) :-
   length(Res,ResultLength),
   length(Carry,ResultLength),
   domain(Carry,0,1).

首先，我使用length获取Res列表的大小（ResultLength），然后使用ResultLength初始化另一个列表Carry。 但是，在我这样做之后，ListoAdd和ListToAdd1现在都包含了上述的“携带”列表，我相信这应该不会发生。

Query done: puzzle([D,O,N,A,L,D],[G,E,R,A,L,D],[R,O,B,E,R,T],X,L).


        Before  length(Carry,ResultLength):
        write(ListToAdd):  [_5459,_5499,_5539,_5319]
        write(ListToAdd1): [_5199,_5239,_5279,_5319]

        After  length(Carry,ResultLength):
       write(Carry):      [_12043,_12107,_12171,_12235]
       write(ListToAdd):  [_5459,_5499,_5539, [_12043,_12107,_12171,_12235],_5319]
       write(ListToAdd1): [_5199,_5239,_5279, [_12043,_12107,_12171,_12235],_5319]

我正在使用SICStus Prolog 4.3.2。

有人知道发生了什么吗？

Answer 1

您遇到麻烦的原因是：

?- puzzle([D,O,N,A,L,D],[G,E,R,A,L,D],[R,O,B,E,R,T],X,L).

得到它了？ 如果没有，请考虑：

?- puzzle([D,O,N,A,L,D],[G,E,R,A,L,D],[R,O,B,E,R,T],X,L).
                   ^             ^                    ^
                   +-------------+--------------------+

那些逻辑变量：）

HTH！