“事实数据库”不是miniKanren的核心功能吗？

Question

我一直在玩 miniKanren，试图通过将非常基本的 Prolog 教程转换成它来理解它。

我习惯使用 Python，所以我从 LogPy 库开始，该库后来被分叉和改进为一个实际上称为miniKanren 的库

从lib的README中给出的示例我们可以看到：

>>> from kanren import Relation, facts
>>> parent = Relation()
>>> facts(parent, ("Homer", "Bart"),
...               ("Homer", "Lisa"),
...               ("Abe",  "Homer"))

>>> run(1, x, parent(x, "Bart"))
('Homer',)

这与您在 Prolog 教程开始时可能看到的内容基本对应，例如：

% facts.pl
parent(homer, bart).
parent(homer, lisa).
parent(abe, homer).

?- consult('facts')
true.

?- parent(X, bart).
X = homer

我对此感到很高兴...

后来我发现自己阅读了更多的 MiniKanren 文献（一般意义上，不是 Python 库），我意识到我还没有看到任何以这种方式使用事实数据库的示例，也没有提到过这样的示例。

我错过了吗？或者这实际上不是 MiniKanren 的一个“理性策划者”的功能？

我确实在 Clojure 实现中找到了这样的东西core.logic，其中有：https: //github.com/clojure/core.logic/wiki/Features#simple-in-memory-database

它的工作方式非常相似，尽管比 python 更好，因为数据库是一个不同的实体，而不是库中的全局变量。

python lib 是否只是借用了非 kanren 的想法core.logic？是否还有其他 MiniKanren 实现具有类似的功能？或者完全不同的方法？

Answer 1

这是一个很棒的问题，我认为这是一个很好的例子。它是受支持的，但可能不像您习惯的那样简洁明了。我们可以在逐个关系的基础上描述事实数据库，其风格与您期望编写递归 Kanren 关系的风格相同。我借用了《理性策划者》第二版的具体语法。

(defrel (parento f c)
  (conde
    ((== f 'homer) (== c 'bart))
    ((== f 'homer) (== c 'lisa))
    ((== f 'abe)   (== c 'homer))))

(defrel (stonecuttero p)
  (conde 
    ((== p 'abe))
    ((== p 'lenny))
    ((== p 'carl))
    ((== p 'glumplich))))

> (run* p (fresh (o) (stonecuttero p) (parento p o)))
(abe)

如果您的宿主语言有一个很好的宏系统，那么您可能可以简洁地编写它，并扩展为这样的形式。

这有帮助吗？