В главе 5 SICP поясняется схема метакругового оценщика регистровой машины. Есть ли что-нибудь, что обеспечивает аналогичный тип Mini-Kanren с точки зрения примитивов схемы? Я знаю, что по Mini-Kanren написана диссертация (однако меня волнует...

Сообщество Вики Меня не волнуют очки репутации, мне просто нужны хорошие ответы. Не стесняйтесь отметить этот вопрос как вики сообщества. Контекст Я работал с The Reasoned Schemer и обнаружил следующие наблюдения: Логическое...

Я работаю над наивным алгоритмом квадратной упаковки, используя библиотеку Clojure core.logic CLP(FD) (core.logic версии 0.8.3). Квадраты представлены так: [[[x11 y11] [x12 y12]] [[x21 y21] [x22 y22] ...]] где каждый квадрат представлен...

Представьте, что у меня есть несколько рецептов различных блюд и кладовая с различными ингредиентами на кухне. Я хочу построить модель, используя core.logic , которая позволит мне ответить на следующий вопрос: для заданного набора ингредиентов (т.е....

В core.logic есть ли способ перевести выходные данные такой программы, как (run 2 [q] (fresh [a] (featurec q {:foo a}) (membero a '(5)) (conde ((featurec q {:bar 2})) ((featurec q {:baz 2}))))) в наименьшие карты,...

(Подробности настройки моего miniKanren в Racket приведены внизу [1].) То, как работают кавычки и без кавычек в The Reasoned Schemer, похоже, не соответствует тому, как они работают в Racket. Например, стих 2 главы 2 предлагает [2] следующее...