Расширения core.logic пользовательских типов

Question

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

(deftype Expression [node vars] 
    ....) 

В основном это представляет собой узел в математическом выражении дерева, содержащий дерево узлов и набор несвязанных переменных. node является либо константой, либо символом, либо узлом дерева (Operator Expression Expression....). Я хотел бы иметь возможность использовать core.logic для управления математическими выражениями и сопоставлять их с поддеревами таких выражений.

Как я могу это сделать, если это возможно?

я вижу из исходного кода core.logic, что есть number of protocols, которые выглядят как они бы хорошо, чтобы расширить (например, IUnifyTerms, IReifyTerms и т.д.), но это не совсем понятно, как они все предназначены для использования, и которые мне действительно нужно расширить.

Answer 1

core.logic предназначен для расширяемых пользовательских типов. Однако это не так хорошо документировано, поскольку протоколы могут быть изменены, поскольку мы узнаем, что именно нужно. Стоит изучить пространство имен clojure.core.logic.nominal, чтобы получить представление о том, что требуется для расширения core.logic для пользовательских типов.