7зной
2ответ
Почему имена miniKanren всегда заканчиваются на `o`?
4зной
2ответ
Моделирование ограничений Логические программы (для анализа)
16зной
2ответ
Как имитировать «внешнее соединение» в core.logic?
13зной
2ответ
Понимание модели исполнения Mini-Kanren
27зной
3ответ
4зной
1ответ
Clojure.logic difference with The Reasoned Schemer
21зной
2ответ