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

Question

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

Answer 1

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

What are the main technical differences between Prolog and miniKanren, with respect to logic programming?

或者其他解释：

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