clojure - clojure 的 core.logic 使用什么算法来解决？

Question

根据维基百科，序言使用SLD Resolution。在 core.logic 中驱动求解的主要算法是什么？

Answer 1

core.logic 实际上是 miniKanren。这里比较：

Prolog 和 miniKanren 在逻辑编程方面的主要技术区别是什么？

或者这里的另一种解释：

http://minikanren.org/minikanren-and-prolog.html