20、Prolog 编程：迷宫、传教士与食人族及三角形谜题求解

Prolog 编程：迷宫、传教士与食人族及三角形谜题求解

1. 迷宫问题求解

在迷宫问题中，我们的目标是找到一条从起点 start 到终点 finish 的完整路径。初始时，路径仅包含起点，我们将其放入一个列表中。之后，我们要从这个初始路径生成完整路径，并在找到解决方案后将其显示出来。

以下是主要的代码逻辑：

% MAZE.PL
% 一个寻找迷宫路径的程序
solve_maze :-
    path([start], Solution),
    write(Solution).

path([finish|RestOfPath], [finish|RestOfPath]).

path([CurrentLocation|RestOfPath], Solution) :-
    connected_to(CurrentLocation, NextLocation),
    \+ member(NextLocation, RestOfPath),
    path([NextLocation, CurrentLocation|RestOfPath], Solution).

connected_to(Location1, Location2) :-
    connect(Location1, Location2).
connected_to(Location1, Location2) :-
    connect(Location2, Location1).

member(X, [X|_]).
member(X, [_|Y]) :-
    membe