1
根據維基百科，序言使用SLD Resolution。 在core.logic中推動求解的主要算法是什麼？clojure的core.logic用於解決什麼算法？
A
回答
2
core.logic實際上是miniKanren。這裏比較：
或者另一種解釋在這裏：
+0
謝謝，這個比較提供了一個很好的窗口來了解它們如何工作，並找出邏輯和定理證明中所需的讀數。 – matanster
相關問題
- 1. 用於解決動態規劃算法的習慣Clojure
- 2. Clojure core.logic CLP（FD）投影FD變量
- 3. 什麼算法可以用來找到最佳解決方案？
- 4. 什麼樣的迷宮解決算法是這樣的？
- 5. 爲什麼ns /用於Clojure的奇怪'用法？
- 6. randperm基於什麼算法？
- 7. Clojure在面對Scala解決方面有什麼問題？
- 8. Clojure core.logic意外的結果（使用CLP/FD）
- 9. 規則引擎算法解決什麼問題？
- 10. 什麼算法用於圖像縮小？
- 11. 用於解決Java算法問題的常規類/源代碼？
- 12. 解決算法遇到困難問題的方法是什麼？它如何應用於這個例子？
- 13. 算法解決方案Leda
- 14. 解決類繼承算法
- 15. 試圖解決Codalility算法
- 16. 算法來解決數獨
- 17. 用core.logic重構
- 18. IMAP Php bug - 解決方法是什麼？
- 19. CA2227 With Dictionary有什麼解決方法？
- 20. 在MongoDB中，解決方法是什麼？
- 21. 爲什麼不解決這些方法？
- 22. 什麼是基於規則的算法？
- 23. 算法向量Clojure
- 24. 用於數據計算的Clojure core.async
- 25. 用A *算法解決8拼圖
- 26. 一個組合和約束解決問題。我可以使用什麼算法？
- 27. 什麼決定未實現方法解決的過程？
- 28. 如何在更大的Clojure程序中以實用的方式使用core.logic？
- 29. 解決clojure中「吊起」的問題
- 30. 不依賴於初始解決方案的優化算法
你看看源？ – Carcigenicate
是的。如果你有任何貢獻，不要害羞。 – matanster
@false這個問題不是重複的。它要求它是如何工作的，而不是爲了比較。到目前爲止，最好的答案可以讓你進行比較，但即使是比較也不一定能提供最充分的答案。 – matanster