すべてのminiKanren関係は文字で終わりoます。これの動機は何ですか？Clojurecore.logicライブラリもこれを実行していることがわかります。
2 に答える
12
The Reasoned Schemerの序文で、彼らはそれを次のように説明しています。
目標を値として返す関数であるリレーションは、その名前を上付き文字' o 'で終了します（例：caroおよびnullo ）。
つまり、関係を表すための表記です。
于 2012-02-06T18:48:08.620 に答える
5
これは、Reasoned Schemer?の作成者が、miniKanren関係の表記法が、慣例により（たとえば、null?）で終わる通常のScheme述語を喚起することを望んでいたためpair?です。上付き文字oは、十分に目を細めている場合（そして、この話を以前に聞いたことがある場合）、変更されたように見え?ます。
于 2012-02-08T17:51:05.693 に答える