为什么“理性的计划者”在其功能的末尾添加了“ o”？

Question

在合理的计划程序中，他们将标准lisp函数命名为末尾带有'o'的字符，例如conso和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.