質問: なぜminiKanrenの名前は常に `o`で終わるのですか? すべてのminiKanrenの関係は、 `o` という文字で終わります。これの動機は何ですか? 私はClojure core.logicライブラリもこれをしていることがわかります。
回答: なぜなら、 The Reasoned Schemer の著者は、 `null` で終了する通常のScheme述語を思い起こさせるために、miniKanren関係の表記を望んでいたからです。 >、 `pair?`)を使用します。上付き文字 o は、あなたが十分に覗き込み(これまでにこの話を聞いたことがある)、変更された`?`のように見えます。