Я бы хотел запустить полностью декларативный mtak в miniKaren, который в Прологе выглядит следующим...

Как можно определить объединение структур объектов и их использование в миниканренах, если мы...

В языке мини-канрен есть четыре условных оператора: conda, conde, condi и condu (здесь описано )....

вопрос Reasoned Schemer описывает, как использовать miniKanren, который похож на Prolog, но...

(Подробная информация о моем miniKanren в настройке Racket отображается внизу [1].) То, как...

В core.logic, есть ли способ преобразовать выходные данные программы, такие как (run 2 [q] (fresh...

Я хочу найти все возможные последовательные разделы списков: (a b c d) => (((a) (b c d)) ((a b)...

Я читал, что лямбда-исчисление является языком декартовых закрытых категорий. Насколько я понимаю,...

Я начал изучать miniKanren с книги «Разумный планировщик - второе издание» и со схемой DrRacket. Я...

Меня интересует философия программирования «используй правильный инструмент для работы», и у меня...

Все отношения miniKanren заканчиваются буквой o. Какова мотивация для этого? Я вижу, что библиотека...

Я только начал играть с core.logic, и для работы над ним я пытаюсь реализовать что-то простое,...

Я попытался использовать реализацию mini-kanren в clojure. Но изо всех сил пытался понять разницу...