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

すべてのminiKanrenの関係は、 o という文字で終わります。これの動機は何ですか? 私はClojure core.logicライブラリもこれをしていることがわかります。

7

2 答え

The Reasoned Schemer の序文では、以下のように説明しています。

関係は、値を目標として返す関数で、その名前は上付き文字 ' o 'で終わります(例: car o null o )。

それで、それは関係を表す表記です。

11
追加された

なぜなら、<the> The Reasoned Schemer の著者は、 null で終了する通常のScheme述語を思い起こさせるために、miniKanren関係の表記を望んでいたからです。 >、 pair?)を使用します。上付き文字 o は、あなたが十分に覗き込み(これまでにこの話を聞いたことがある)、変更されたのように見えます。

5
追加された