"facts database" 不是迷你看人的核心功能吗？

Question

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

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

的库

从lib's 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 的一个功能，即“A Reasoned Schemer”？

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

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

python lib 是否只是从 core.logic 那里借用了一个非 kanren 的想法？还有其他类似的 MiniKanren 实现吗？或者完全不同的方法？

Answer 1

这是一个很棒的问题，我认为这是一个很好的例子。支持，但可能不像您习惯的那样简洁明了。我们可以在逐个关系的基础上描述一个事实数据库，其风格与您希望编写递归 Kanren 关系的风格相同。我从 The Reasoned Schemer，第 2 版中借用了具体语法。

(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)

如果你的宿主语言有一个很好的宏系统，那么你可能会把它写得简洁，然后展开成这样的形式。

有帮助吗？

"facts database" 不是迷你看人的核心功能吗？

Is a "facts database" not a core feature of miniKanren?

minikanren

clojure-core.logic

knowledge-base-population

reasoned-schemer