1
위키 백과에 따르면, 프롤로그는 SLD Resolution을 사용합니다. core.logic에서 해결할 수있는 주요 알고리즘은 무엇입니까?해결을 위해 clojure의 core.logic 알고리즘은 어떤 알고리즘을 사용합니까?
A
답변
2
core.logic은 효과적으로 miniKanren입니다. 여기에 비교 :
또는 여기에 또 다른 설명 :
+0
감사합니다.이 비교는 어떻게 작동하는지 배우고, 논리 및 이론 정리에서 필요한 판독 값을 계산할 수있는 좋은 창을 제공합니다. – matanster
관련 문제
- 1. 파이썬의 sorted() 알고리즘은 어떤 알고리즘을 사용합니까?
- 2. MongoDB는 ObjectId를 해시하기 위해 어떤 알고리즘을 사용합니까?
- 3. R은 평균을 계산하기 위해 어떤 알고리즘을 사용합니까?
- 4. MySQL은 어떤 정렬 알고리즘을 사용합니까?
- 5. Math.random은 어떤 알고리즘을 사용합니까?
- 6. table.sort는 어떤 알고리즘을 사용합니까?
- 7. 족보 나무를 짓기 위해 어떤 구조와 알고리즘을 사용합니까?
- 8. 단순한 병렬 알고리즘을 구현하기 위해 어떤 클라우드 제공자가 사용합니까?
- 9. GL_LINEAR은 정확히 어떤 알고리즘을 사용합니까?
- 10. qsort는 어떤 정렬 알고리즘을 사용합니까?
- 11. MongoDB가 _id에 어떤 알고리즘을 사용합니까?
- 12. scipy.optimize.leastsq는 어떤 최적화 알고리즘을 사용합니까?
- 13. StackOverflow는 비슷한 질문을 찾기 위해 어떤 알고리즘을 사용합니까?
- 14. Microsoft Office 2010은 암호화를 위해 어떤 알고리즘을 사용합니까?
- 15. MATLAB은 고유 벡터를 찾기 위해 어떤 알고리즘을 사용합니까?
- 16. Gmail/Facebook은 상황에 맞는 광고를 게재하기 위해 어떤 알고리즘을 사용합니까?
- 17. scrypt가 해시 알고리즘을 사용합니까?
- 18. PHP는 어떤 종류의 정렬 알고리즘을 사용합니까?
- 19. SQL Server CE는 어떤 암호화 알고리즘을 사용합니까?
- 20. OpenCV의 바이어 변환은 어떤 알고리즘을 사용합니까?
- 21. Ruby의 정렬 방법은 어떤 알고리즘을 사용합니까?
- 22. 이 코드는 어떤 FFT 알고리즘을 사용합니까?
- 23. 이 정렬 방법은 어떤 알고리즘을 사용합니까?
- 24. 파이썬의 사전 매핑은 어떤 해시 알고리즘을 사용합니까?
- 25. Perl은 어떤 해시 함수/알고리즘을 사용합니까?
- 26. linalg.solve는 어떤 종류의 해결 알고리즘을 사용합니까?
- 27. .NET의 Array.Sort() 메서드는 어떤 정렬 알고리즘을 사용합니까?
- 28. 파이썬은 fractions.gcd()에서 어떤 알고리즘을 사용합니까?
- 29. 사람 속성을 기반으로 클러스터링에 어떤 알고리즘을 사용합니까?
- 30. SelectMany()는 어떻게 작동합니까? 어떤 알고리즘을 사용합니까?
당신이 소스를 보면나요? – Carcigenicate
예. 당신이 기여할 것이 있다면 부끄러워하지 마라. – matanster
@false이 질문은 중복되지 않습니다. 비교가 아닌 작동 원리를 묻습니다. 지금까지의 가장 좋은 대답은 당신을 비교로 보냅니다.하지만 비교가 반드시 가장 충분한 답변을 제공하지는 않습니다. – matanster