0
ответов
Почему имена miniKanren всегда заканчиваются на `o`?
Все отношения miniKanren заканчиваются на букву o. Что для этого мотивация?
Я вижу, что библиотека Clojure core.logic также делает то же самое.
вопрос задан: 11 November 2017 17:17
0
ответов
Как смоделировать «внешнее соединение» в core.logic?
Я только начал играть с ядром.логики, и для работы над ней я пытаюсь реализовать что-то простое, похожее на проблему, над которой я сейчас профессионально работаю. Однако одна часть ...
вопрос задан: 7 October 2014 19:13
0
ответов
Краткое объяснение Core.logic
Я хочу использовать Core.logic от Clojure. Тем не менее, я хочу также понять, как это работает. Где-то есть краткое объяснение? (Нравится реализация метациклического оценщика? )Спасибо!
вопрос задан: 24 March 2014 20:13
0
ответов
mini -Kanren, core.logic, clojure :Reasoned Scheme, упражнение 60
Это НЕ домашнее задание --, решение уже есть в тексте. Я просто не понял решения. Задача (запуск*(д)(пусть [a (== true q )b (== false q )] b ))Правильное решение (...
вопрос задан: 19 March 2014 12:16
0
ответов
Конда, Конди, Конде, Проводник
Я читаю Разумный интриган. У меня есть некоторая интуиция о том, как работает Конде. Тем не менее, я не могу найти формальное определение того, что делают conde / conda /du / condi. Мне известно о https: //www.cs.indiana.edu/~ ...
вопрос задан: 20 June 2012 19:03
0
ответов
Арены, где доминирует core.logic [soft]
Community Wiki Меня не волнуют очки репутации, я просто хочу хорошие ответы. Не стесняйтесь отметить этот вопрос как вики сообщества. Контекст Я работал с The Reasoned Schemer и...
вопрос задан: 2 June 2012 00:55
0
ответов
Понимание модели выполнения Mini-Kanren
Глава 5 SICP объясняет схему метакругового оценщика стажеров регистровой машины. Есть ли что-нибудь, что обеспечивает аналогичный тип Mini-Kanren с точки зрения примитивов схемы? Я знаю, что ...
вопрос задан: 12 April 2012 06:14