基于SWI-Prolog的迷宫多路径导航机制知识库构建咨询

需求回顾 #

• 支持任意房间间的路径导航
• 接收用户输入的起始与目标房间
• 起始与目标房间相同时，输出提示并终止
• 可获取当前房间的可达房间
• 路径查找时跳过已访问房间
• 找到路径后按指定格式输出
• 遍历并输出所有可能路径
• 路径格式示例：a-->b-->j-->i-->h-->g-->k-->d-->e-->I am in room e
• 以go/2作为程序入口

现有代码基础 #

已定义所有房间的事实：

room(a).
room(b).
room(c).
room(d).
room(e).
room(f).
room(g).
room(h).
room(i).
room(j).
room(k).

已准备辅助谓词（后续会调整）：

member(X,[X|L]) :- !.
member(X,[Y|L]) :- member(X,L).

writelist([]).
writelist([L|Lt]) :- write(L), write('-->'), writelist(Lt).

完整知识库构建步骤 #

1. 定义房间连通关系 #

根据迷宫结构，先定义单向直接连通的事实，再推导双向连通关系（避免递归死循环）：

% 单向直接连通（对应迷宫中的实际通路）
direct_connected(a, b).
direct_connected(a, c).
direct_connected(b, j).
direct_connected(c, f).
direct_connected(j, i).
direct_connected(i, h).
direct_connected(h, g).
direct_connected(g, k).
direct_connected(k, d).
direct_connected(d, e).
direct_connected(f, e).

% 双向连通推导
connected(X, Y) :- direct_connected(X, Y).
connected(X, Y) :- direct_connected(Y, X).

2. 实现路径查找核心逻辑 #

编写find_path/4谓词，负责递归查找所有可行路径，自动跳过已访问房间：

% 终止条件：到达目标房间，路径即为当前路径
find_path(Target, Target, Visited, [Target]) :- !.

% 递归查找：从当前房间出发，找未访问过的连通房间，继续递归
find_path(Current, Target, Visited, [Current|Path]) :-
    connected(Current, Next),
    \+ member(Next, Visited),  % 跳过已访问房间
    find_path(Next, Target, [Next|Visited], Path).

3. 实现入口谓词go/2 #

处理起始与目标相同的情况，调用路径查找并输出所有结果：

% 起始与目标房间相同的情况
go(Room, Room) :-
    write('起始房间与目标房间相同：I am in room '), write(Room), nl, !.

% 正常导航逻辑：查找所有路径并输出
go(Start, Target) :-
    room(Start), room(Target),  % 验证输入房间存在
    find_path(Start, Target, [Start], Path),
    write_path(Path), nl,
    fail.  % 触发回溯，遍历所有可能路径

% 所有路径输出完毕后的提示
go(_, _) :- write('已遍历所有可行路径').

4. 调整路径输出谓词write_path/1 #

适配需求中的输出格式，最后一步输出指定提示：

% 输出路径的最后一步：目标房间的提示
write_path([Last]) :-
    write('I am in room '), write(Last).

% 递归输出路径中间节点，带箭头分隔
write_path([First|Rest]) :-
    write(First), write('-->'),
    write_path(Rest).

完整代码整合 #

% 房间定义
room(a).
room(b).
room(c).
room(d).
room(e).
room(f).
room(g).
room(h).
room(i).
room(j).
room(k).

% 连通关系定义
direct_connected(a, b).
direct_connected(a, c).
direct_connected(b, j).
direct_connected(c, f).
direct_connected(j, i).
direct_connected(i, h).
direct_connected(h, g).
direct_connected(g, k).
direct_connected(k, d).
direct_connected(d, e).
direct_connected(f, e).

connected(X, Y) :- direct_connected(X, Y).
connected(X, Y) :- direct_connected(Y, X).

% 辅助成员检查谓词
member(X,[X|L]) :- !.
member(X,[Y|L]) :- member(X,L).

% 路径查找核心
find_path(Target, Target, Visited, [Target]) :- !.
find_path(Current, Target, Visited, [Current|Path]) :-
    connected(Current, Next),
    \+ member(Next, Visited),
    find_path(Next, Target, [Next|Visited], Path).

% 路径输出谓词
write_path([Last]) :-
    write('I am in room '), write(Last).
write_path([First|Rest]) :-
    write(First), write('-->'),
    write_path(Rest).

% 入口谓词
go(Room, Room) :-
    write('起始房间与目标房间相同：I am in room '), write(Room), nl, !.
go(Start, Target) :-
    room(Start), room(Target),
    find_path(Start, Target, [Start], Path),
    write_path(Path), nl,
    fail.
go(_, _) :- write('已遍历所有可行路径').

使用示例 #

在SWI-Prolog中加载代码后，调用入口谓词：

?- go(a, e).

会输出所有从a到e的路径，格式符合要求。

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