Prolog递归列表问题：生成左侧坐标列表功能异常求助

你的Prolog代码存在三个核心问题，导致无法正确生成预期的坐标列表：

1. 结果顺序完全颠倒 #

你用append([[NewX, Y]], All_Valid, New_All_Valid)把新生成的坐标放在了累积列表的头部，而非尾部。递归完成后，最终列表的顺序会和输入完全相反——比如测试用例得到的会是[[2,3],[1,2],[0,1]]，和预期的[[0,1],[1,2],[2,3]]不符。

2. 顶层变量未绑定到最终结果 #

递归逻辑是从顶层变量X开始向前构建列表，而非从空列表向后累积，导致顶层调用的X最终会被绑定为空列表，而非预期的结果。这就是为什么查询后只输出yes，无法验证X的实际值。

3. 冗余的调试输出与不必要截断 #

递归过程中的write(All_Valid)属于调试输出，会干扰正常的结果返回；base case里的!截断符无意义，还可能隐藏潜在逻辑问题，都应该移除。

方式一：用辅助谓词累积后反转（直观易懂） #

% 对外接口：调用辅助谓词，初始累积列表为空
all_valid_moves(Coords, Result) :-
    all_valid_moves_aux(Coords, [], Result).

% 辅助谓词终止条件：输入为空时，反转累积列表得到最终结果
all_valid_moves_aux([], Acc, Result) :-
    reverse(Acc, Result).

% 辅助谓词递归逻辑：处理当前坐标，将新坐标加入累积头部，继续递归
all_valid_moves_aux([[X,Y]|Tail], Acc, Result) :-
    NewX is X - 1,
    all_valid_moves_aux(Tail, [[NewX,Y]|Acc], Result).

方式二：直接按顺序构建（更简洁） #

% 终止条件：空输入对应空结果
all_valid_moves([], []).
% 递归逻辑：处理当前坐标，直接构建结果列表的对应元素
all_valid_moves([[X,Y]|Tail], [[NewX,Y]|ResultTail]) :-
    NewX is X - 1,
    all_valid_moves(Tail, ResultTail).

调用all_valid_moves([[1,1],[2,2],[3,3]], X).，会正确返回：

X = [[0, 1], [1, 2], [2, 3]]

内容的提问来源于stack exchange，提问作者Guilherme Moreira