Estendere core.logic per i tipi personalizzati

Question

sto sperimentando core.logic, e si vuole abilitare il mio tipo di dati personalizzato a partecipare nelle espressioni logiche:

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

Fondamentalmente questo rappresenta un nodo in un albero di espressione matematica, contenente un albero dei nodi e un insieme di variabili non associate utilizzate. node è una costante, un simbolo o un nodo albero (Operator Expression Expression....). Mi piacerebbe essere in grado di utilizzare core.logic per manipolare espressioni matematiche e confrontarmi con sottoalberi di tali espressioni.

Come posso fare questo, se possibile?

vedo dal codice sorgente core.logic che ci sono un number of protocols che sembrano sarebbe bene estendere (ad esempio IUnifyTerms, IReifyTerms ecc), ma non è del tutto chiaro come questi sono tutti destinati ad essere utilizzati, e quali ho davvero bisogno di estendere.

Answer 1

core.logic è progettato per estendibile a tipi personalizzati. Tuttavia questo non è ben documentato in quanto i protocolli sono soggetti a modifiche man mano che apprendiamo cosa è esattamente necessario. Vale la pena esaminare lo spazio dei nomi clojure.core.logic.nominal per avere un'idea di cosa è necessario per estendere core.logic ai tipi personalizzati.