Tutte le relazioni miniKanren terminano con la lettera o. Qual è la motivazione per questo? Vedo che anche la libreria core.logic di Clojure esegue questa operazione.Perché i nomi di miniKanren terminano sempre con `o`?
nella prefazione del La motivato Schemer, spiegano così:
Una relazione, una funzione che restituisce un obiettivo come il suo valore, termina il suo nome con un apice 'o' (ad esempio, auto o e null o).
Quindi, è una notazione per denotare una relazione.
è a causa di gli autori motivato Schemer volevano la notazione delle relazioni miniKanren di essere evocativo di predicati regime ordinario che fine a ? (ad esempio, null?, pair?) per convenzione. L'apice o, se si strappa abbastanza (e avete già sentito questa storia prima), sembra un ? modificato.