1
위키 백과에 따르면, 프롤로그는 SLD Resolution을 사용합니다. core.logic에서 해결할 수있는 주요 알고리즘은 무엇입니까?해결을 위해 clojure의 core.logic 알고리즘은 어떤 알고리즘을 사용합니까?
A
답변
2
core.logic은 효과적으로 miniKanren입니다. 여기에 비교 :
또는 여기에 또 다른 설명 :
+0
감사합니다.이 비교는 어떻게 작동하는지 배우고, 논리 및 이론 정리에서 필요한 판독 값을 계산할 수있는 좋은 창을 제공합니다. – matanster
당신이 소스를 보면나요? – Carcigenicate
예. 당신이 기여할 것이 있다면 부끄러워하지 마라. – matanster
@false이 질문은 중복되지 않습니다. 비교가 아닌 작동 원리를 묻습니다. 지금까지의 가장 좋은 대답은 당신을 비교로 보냅니다.하지만 비교가 반드시 가장 충분한 답변을 제공하지는 않습니다. – matanster