prolog - 序言问题中的推理

Question

foo([], Res).
foo([schedule(_, X)|Tail], Res) :- append(Res, X, Res2), 
                                   foo(Tail, Res2).  

预期结果：

X 是一个值列表，Res 是应该存储结果的位置。

想象一下，我打电话：

foo([schedule(c1,[t1,t2]),schedule(c2,[t3,t4])], X).

结果应该是：

X = [t1,t2,t3,t4].

但结果是：

X = [] ;
X = [_G6951] ;
X = [_G6951,_G6957] ;
X = [_G6951,_G6957,_G6963] ;
X = [_G6951,_G6957,_G6963,_G6969] ;
X = [_G6951,_G6957,_G6963,_G6969,_G6975] ;
X = [_G6951,_G6957,_G6963,_G6969,_G6975,_G6981] ;
X = [_G6951,_G6957,_G6963,_G6969,_G6975,_G6981,_G6987] ;

等等...

我的代码和推理有什么问题，以便我了解出了什么问题？

Answer 1

对于第一个子句，一个空的 schedule 列表的结果应该是一个空的值列表：

foo([], []).

你把参数的append/3顺序错误（Res应该是和的串联X）Res2：

foo([schedule(_, X)|Tail], Res) :-
    append(Res2, X, Res), 
    foo(Tail, Res2).

现在，为了避免 Prolog 无限搜索进一步的解决方案，请更改第二个子句中子目标的顺序：

foo([schedule(_, X)|Tail], Res) :-
    foo(Tail, Res2),
    append(Res2, X, Res).