haskell中的正反向链接

Question

我正在尝试在haskell中实现向前/向后链接，它带有一个非常小的数据库，即某种文本文件和基本规则。帮助将不胜感激。由于

Answer 1

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

• logict
• weighted-search

这些单子已经失败的概念，它会自动回溯到先前的状态（他们以不同的方式原路返回 - 使用哪个取决于你想要的行为）。

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

有了这些作品，在Haskell中，反向链接逻辑引擎实际上非常小巧和容易。我为我的一个项目写了类似的内容，大约有30行（如果你需要参考，它的后半部分是this file），我怀疑你可以准确地使用它。

警告：尽管这个任务对于一个经验丰富的Haskell程序员来说很简单，但它使用了一些相对先进的概念，所以如果您还不知道Haskell，那么必要的30行将很难提出。首先做一个扩展tutorial。