【发布时间】：2017-03-31 02:51:23
【问题描述】：
根据维基百科，prolog 使用SLD Resolution。 在 core.logic 中驱动求解的主要算法是什么？
【问题讨论】：
-
你看源码了吗？
-
是的。如果你有什么要贡献的，不要害羞。
-
@false 这个问题不是重复的。它询问它是如何工作的，而不是用于比较。到目前为止，最好的答案会让您进行比较，但即使是比较也不一定能提供最完整的答案。
-
@matanster：请阅读OP对答案的评论！如果比较不能“提供最完整的答案”，那么请写一个更好的答案！
-
@false，我不了解你，但我无法添加答案，可能是因为这已被标记为重复。也许你是对的，另一个问题包含这个问题，但这个问题比那个问题要窄得多。与其通读多页的答案来尝试收集所需的信息，我认为直接回答这个问题会更短。
标签： clojure prolog clojure-core.logic minikanren