Prolog 5x5迷宫寻路求助：邻接判断与路径生成错误

1. 核心问题分析 #

你的代码主要存在两个层面的问题：

邻接判断（neighbour谓词）的逻辑错误 #

• 方向判断逻辑混乱：后面几个子句使用;（逻辑或）时优先级错误，导致非相邻的格子被误判为邻接（比如只要X差1或Y差1，不管另一个坐标是否相同）。
• 缺少坐标合法性检查：没有验证邻接格子的坐标是否在5x5网格范围内（1≤X≤5，1≤Y≤5），会导致无效坐标的不必要回溯。
• 重复冗余代码：每个子句都重复判断square([X,Y], white)，可以合并优化。

路径查找（route谓词）的循环与终止问题 #

• 无防循环机制：没有记录已访问的节点，会导致程序在格子间无限往复（比如[3,3] ↔ [4,3]），无法找到有效路径。
• 终止条件错误：仅处理了起点和终点相邻的情况，未考虑起点等于终点的场景。
• 调用语法错误：Prolog对大小写敏感，你调用的Route(...)是变量，正确的应该是小写的route(...)。

2. 修正后的代码实现 #

第一步：修正邻接判断 #

先定义合法坐标验证，再清晰区分上下左右和斜向邻接：

% 验证坐标是否在5x5网格内
valid_coord([X,Y]) :-
    between(1,5,X),
    between(1,5,Y).

% 上下左右相邻（曼哈顿距离=1）
neighbour([X,Y], [X,Y1]) :-
    Y1 is Y + 1,
    valid_coord([X,Y1]),
    square([X,Y], white),
    square([X,Y1], white).
neighbour([X,Y], [X,Y1]) :-
    Y1 is Y - 1,
    valid_coord([X,Y1]),
    square([X,Y], white),
    square([X,Y1], white).
neighbour([X,Y], [X1,Y]) :-
    X1 is X + 1,
    valid_coord([X1,Y]),
    square([X,Y], white),
    square([X1,Y], white).
neighbour([X,Y], [X1,Y]) :-
    X1 is X - 1,
    valid_coord([X1,Y]),
    square([X,Y], white),
    square([X1,Y], white).

% 斜向相邻（对角线，切比雪夫距离=1）
neighbour([X,Y], [X1,Y1]) :-
    X1 is X + 1,
    Y1 is Y + 1,
    valid_coord([X1,Y1]),
    square([X,Y], white),
    square([X1,Y1], white).
neighbour([X,Y], [X1,Y1]) :-
    X1 is X + 1,
    Y1 is Y - 1,
    valid_coord([X1,Y1]),
    square([X,Y], white),
    square([X1,Y1], white).
neighbour([X,Y], [X1,Y1]) :-
    X1 is X - 1,
    Y1 is Y + 1,
    valid_coord([X1,Y1]),
    square([X,Y], white),
    square([X1,Y1], white).
neighbour([X,Y], [X1,Y1]) :-
    X1 is X - 1,
    Y1 is Y - 1,
    valid_coord([X1,Y1]),
    square([X,Y], white),
    square([X1,Y1], white).

第二步：修正路径查找（带防循环） #

使用辅助谓词记录已访问节点，避免循环：

% 对外接口：调用辅助谓词初始化已访问列表
route(Start, End, Path) :-
    route_helper(Start, End, [Start], Path).

% 终止条件：当前节点就是终点，反转已访问列表得到正序路径
route_helper(End, End, Visited, Path) :-
    reverse(Visited, Path).

% 递归条件：找到未访问的邻接节点，继续查找路径
route_helper(Current, End, Visited, Path) :-
    neighbour(Current, Next),
    \+ member(Next, Visited), % 确保未访问过该节点
    route_helper(Next, End, [Next | Visited], Path).

正确调用示例 #

route([3,3], [1,5], R).

返回的路径类似：[[3,3],[4,3],[4,4],[4,5],[3,5],[2,5],[1,5]]（根据搜索顺序可能有不同的有效路径）

3. 迷宫表示的优化方案 #

你当前用大量square/2事实定义迷宫，维护起来比较麻烦，可以改用二维列表的形式，更直观易修改：

% 用列表的列表表示迷宫，每行对应X坐标，列对应Y坐标
maze([
    [white, white, white, white, white],  % X=1
    [white, black, black, black, white],  % X=2
    [white, black, white, black, white],  % X=3
    [white, black, white, white, white],  % X=4
    [white, white, white, white, white]   % X=5
]).

% 基于迷宫列表定义square谓词
square([X,Y], Color) :-
    maze(Maze),
    nth1(X, Maze, Row),  % nth1/3用于获取第X个元素（从1开始计数）
    nth1(Y, Row, Color).

这样修改迷宫时只需调整二维列表，无需逐个修改square事实。

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