haskell - Haskell中的前向和后向链接

Question

我正在尝试在haskell 中使用非常小的数据库（即某种文本文件和基本规则）实现前向/后向链接。帮助将不胜感激。谢谢

Answer 1

以下是一些可能有用的 monad：

• 逻辑
• 加权搜索

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

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

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

警告：虽然这个任务对于有经验的 Haskell 程序员来说很容易，但它使用了一些相对先进的概念，所以如果你还不了解 Haskell，那么必要的 30 行代码将很难想出。先做一个扩展教程。