haskell中的正向和反向链接

我试图在haskell中用一个非常小的数据库实现正向/反向链接，即某种文本文件和基本规则。我们将不胜感激。谢谢

这里有一些单子可能会有帮助：

这些单子有一个失败的概念，它会自动回溯到以前的状态（它们以不同的方式回溯——使用哪种方式取决于您想要的行为）

如果您正在进行统一，请在其中一个单子上使用从变量到其值的字典

有了这些部件，Haskell中的反向链接逻辑引擎实际上非常小且简单。我为我的一个项目写了一些类似的东西，大约用了30行（如果你想要参考的话，它在后面的部分。我怀疑你能否准确地使用它。）

---

警告：虽然这项任务对于经验丰富的Haskell程序员来说很容易，但它使用了一些相对高级的概念，因此如果您还不了解Haskell，那么很难想出必要的30行代码。先做一个扩展。

很好，开始吧！（你应该发布更多信息：你做了什么，你的问题是什么，什么在你的代码中不起作用……）事实上，我的问题是haskell是否有实现我想要的反向和正向链接的实现。谢谢你，luqui，我在大学里做过一点haskell，尽管我不是一个有经验的haskell程序员，但都是非常基础的。还是谢谢你，我相信这会很有帮助的。