为什么“理性策划者”要在其函数末尾添加一个“o”？

Question

在合理的方案中，他们将标准 lisp 函数命名为末尾带有“o”，例如conso和appendo。

我的问题是：为什么“理性策划者”在其函数末尾添加一个“o”？

Answer 1

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

\n\n

\n

It is conventional in Scheme for the names of predicates to\nend with the \xe2\x80\x98?\xe2\x80\x99 character. We have therefore chosen to end the\nnames of miniKanren goals with a superscript o, which is meant\nto resemble the top of a ?. The superscript e in conde\nstands for\n\xe2\x80\x98every,\xe2\x80\x99 since every conde clause may contribute answers.\n

\n

\n