我在 Swi-prolog 中收集回溯解决方案时遇到了麻烦，所以我的代码是：
fxd_cell(1,1,2).
fxd_cell(1,3,7).
fxd_cell(1,4,3).
fxd_cell(1,6,1).
fxd_cell(1,8,8).
fxd_cell(2,2,5).
fxd_cell(2,4,6).
fxd_cell(2,5,2).
fxd_cell(2,6,9).
fxd_cell(2,9,4).
fxd_cell(3,1,3).
fxd_cell(3,2,6).
fxd_cell(3,3,9).
fxd_cell(3,6,4).
% snip
fxd_cell(9,7,4).
fxd_cell(9,9,2).
index(_,_).
get_num(X) :- L=[1,2,3,4,5,6,7,8,9], member(X,L).
isEmpty([]):- 1 = 1.
isEmpty([H|_]):- \+ get_num(H),!.
find_Empty(L):- fail .
find_Empty(L):- get_num(X),get_num(Y),findall(Num,fxd_cell(X,Y,Num),L1),isEmpty(L1),L= [index(X,Y)|LL].
当我调用 find_Empty(L) 时，结果将显示为：
L = [index(1, 2)|_G3978]
当我按下“;” 另一个解决方案，例如：
L = [index(1, 5)|_G3978] ;
L = [index(1, 7)|_G3978]
已显示.. 但是我想让 L 包含所有解决方案我该怎么做？