1
Согласно wikipedia, пролог использует SLD Resolution. Каковы основные алгоритмы, управляющие решением в core.logic?Какие алгоритмы используют clojure's core.logic для решения?
A
ответ
2
core.logic эффективно miniKanren. Сравнение здесь:
Или другое объяснение здесь:
+0
Спасибо, это сравнение дает отличное окно для изучения того, как они работают, и для выяснения необходимых чтений в доказательстве логики и теоремы. – matanster
Вы смотрите на источник? – Carcigenicate
Да. Если у вас есть что предложить, не стесняйтесь. – matanster
@ Неверный этот вопрос не является дубликатом. Он спрашивает, как это работает, а не для сравнения. Лучший ответ до сих пор отправляет вас на сравнение, но даже сравнение не обязательно дает полный ответ. – matanster