7
所有miniKanren關係以字母o結尾。這是什麼動機？ 我看到Clojure core.logic庫也這樣做。爲什麼miniKanren的名字總是以`o`結尾？
A
回答
11
在前言理由充分的Schemer，他們因此解釋：
一個關係，即返回一個目標作爲其值的函數，結束其名稱具有上標「Ö」（例如，汽車o和null o）。
所以，這是表示關係的符號。
5
這是因爲作者理由充分的策士想miniKanren關係的符號是令人回味的（例如，null?，pair?）普通計劃謂詞終止於?按照慣例的。上標o，如果你眯眯眼（以前聽過這個故事），看起來像是修改過的?。