scheme - 为什么“The Reasoned Schemer”在其函数末尾添加一个“o”？

Question

在推理的方案中，他们命名标准 lisp 函数的末尾带有一个“o”，例如consoand appendo。

我的问题是：为什么“The Reasoned Schemer”会在其函数末尾添加一个“o”？

Answer 1

从 http://www.cs.indiana.edu/~eholk/papers/sfp2012.pdf第 2 页：

It is conventional in Scheme for the names of predicates to
end with the ‘?’ character. We have therefore chosen to end the
names of miniKanren goals with a superscript o, which is meant
to resemble the top of a ?. The superscript e in conde
stands for
‘every,’ since every conde clause may contribute answers.