如何在Prolog中打印带有求解路径的迷宫？

嘿，我帮你把这份Prolog迷宫求解的需求和相关代码整理成规范的Markdown格式啦，看起来清晰多了：

预期打印效果 #

打印出的迷宫需要清晰区分障碍和求解路径，示例如下（X代表障碍，*代表求解路径）：

+-------+
|*** x|
| x*x x|
| x*xxxx|
| x*****|
+-------+

迷宫的Prolog表示 #

目前迷宫通过以下Prolog关系定义：

迷宫尺寸事实 #

% 迷宫尺寸事实
mazeSize(small, 4, 7).
mazeSize(nobarrier, 7, 7).
mazeSize(unsolvable, 4, 4).
mazeSize(unknown, 4, 5).

小型迷宫定义 #

% 小型迷宫
maze(small, 1, 1...

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