Мне известно о: https://github.com/clojure/core.logic/wiki/Differences-from-The-Reasoned-Schemer Контекст мини-канрен код: (run* (q) (eqo pear plum) (== #t q)) код core.logic (run* [q] (== pear plum) (== true q)) Это...

Я понимаю, что некоторые Прологи поддерживают словарные ассоциативные структуры данных из коробки. Что касается реализаций, которые это делают, поддерживают ли они какое-то понятие частичной унификации с другой структурой, которая на самом деле не...

Я наслаждался Clojure core.logic, но столкнулся со стеной. Мне нужно иметь возможность использовать базу данных, SQL или нет, а не структуру данных в памяти. Когда я осмотрелся, я увидел упоминание о функции to-stream , но не нашел убедительных...

Я экспериментирую с core.logic и хочу, чтобы мой собственный тип данных участвовал в логические выражения: (deftype Expression [node vars] ....) В основном это представляет собой узел в дереве математических выражений, содержащий дерево...

Я понимаю, что project в core.logic не является реляционным. Однако кажется, что я могу получить реляционное поведение, проецируя в обоих направлениях внутри conda , например: (defn lifto-with-inverse "Lifts a unary function and its...

Я ожидаю, что следующее выражение вернет ряд результатов, каждый из которых состоит из двух cons-ячеек, где две cons-ячейки не эквивалентны. Однако он возвращает 0 результатов. Почему я не получаю результатов? (run* [c1 c2] (fresh [lx ly x1...

Я только что прочитал учебник . для ядра.логика. Пока это имеет смысл, но я не уверен, куда пойти, чтобы узнать больше. Допустим, я хотел написать свое собственное ограничение, вроде membero , показанного в учебнике для начинающих. Этот...

Есть ли способ предпочесть одни пути другим во время решения? Это действительно вопрос производительности. Когда я собираю всю свою логику вместе, она генерирует тысячи решений, и это занимает экспоненциально увеличивающееся время. Это...

Я играл с miniKanren, пытаясь понять его, конвертируя в него очень простые учебники по Prolog. Я обычно использую Python, поэтому я начал с библиотеки LogPy, которая с тех пор была разветвлена ​​​​и улучшена как библиотека, фактически называемая...