在列表列表中选择/4

Question

在Prolog上，我正在尝试解决Connect 4的以下练习，

?- generate_move(2,[[1, 0, 1, 0],[0, 1, 1, 0],[0, 0, 1, 1],[1, 0, 0, 1]],BP).
BP = [[1, 2, 1, 0], [0, 1, 1, 0], [0, 0, 1, 1], [1, 0, 0, 1]] ;
BP = [[1, 0, 1, 2], [0, 1, 1, 0], [0, 0, 1, 1], [1, 0, 0, 1]] ;
BP = [[1, 0, 1, 0], [2, 1, 1, 0], [0, 0, 1, 1], [1, 0, 0, 1]] ;
BP = [[1, 0, 1, 0], [0, 1, 1, 2], [0, 0, 1, 1], [1, 0, 0, 1]] ;
BP = [[1, 0, 1, 0], [0, 1, 1, 0], [2, 0, 1, 1], [1, 0, 0, 1]] ;
BP = [[1, 0, 1, 0], [0, 1, 1, 0], [0, 2, 1, 1], [1, 0, 0, 1]] ;

其中规则是返回所提供的播放器的每一个可能的移动（在这种情况下2）

我正在考虑使用Select/4来找到每个可能的结果列表中的列表列表，然后加入。但是我没有“凝结”结果，而我的第二次迭代失败了：

generate_move(_,[],[]).
generate_move(Player,[H|T],[FinalLine|FinalBoard]) :-
    findall(X0,(select(0, H, Player, X0)),FinalLine),
    join_results(FinalLine,T,FinalBoard),
    generate_move(Player,T,FinalBoard).

join_results([],[],[]).
join_results([H|T],LeftOvers,FinalBoard) :-
    append([H],LeftOvers,FinalBoard),
    join_results(T,LeftOvers,FinalBoard).

有什么提示吗？我的JOIN_RESULTS在第二个通话中返回False，我的Findall也是如此。