なぜminiKanrenの名前は常に `o`で終わるのですか？

Question

すべてのminiKanrenの関係は、oという文字で終わります。これの動機は何ですか？ Clojure core.logicライブラリでもこれが行われています。 の序文推論スキーマーで

Answer 1

、彼らはこのようにそれを説明する：

関係、その値としての目標を返す関数は、上付き文字で名前を終了「 O」（例えば、車^oおよびヌル^o）。

だから、それは関係を示すために表記法です。

Answer 2

の著者は推論スキーマーは、慣例により（pair?、例えば、null?）miniKanren関係の表記は?で終わる普通のスキーム述語の喚起になりたかったからです。 ^oのように、あなたが十分に細かく見ていると（この話を聞いたことがある）、変更された?のように見えます。