Algorithm Prolog中的墙跟随算法

我想用Prolog语言实现左侧墙跟随器迷宫求解算法。我是Prolog的初学者，在网上还没有发现任何关于Prolog中墙跟随器算法的东西

逻辑应为：

右侧墙随动件：

---

仅仅发布作业是不够的，你需要付出一些努力。如果你寻求深度优先搜索，你可能会发现一些有用的东西。