Scheme 为什么';理性的阴谋家';添加一个';o';到它的功能结束?

Scheme 为什么';理性的阴谋家';添加一个';o';到它的功能结束?,scheme,minikanren,reasoned-schemer,Scheme,Minikanren,Reasoned Schemer,在推理的schemer中,他们命名标准的lisp函数,并在末尾加上一个“o”,例如conso和appendo 我的问题是:为什么“理性策划人”在其功能的末尾添加一个“o”?摘自以下第2页: 因为它们不是一回事。您将如何在同一范围内使用cons和conso?这正是kanren的作者所决定的“方案”。它们不是标准的Lisp函数,上标也不被广泛支持。还要注意的是,添加o使名称可以发音。 It is conventional in Scheme for the names of predicates t

在推理的schemer中,他们命名标准的lisp函数,并在末尾加上一个“o”,例如
conso
appendo

我的问题是:为什么“理性策划人”在其功能的末尾添加一个“o”?摘自以下第2页:


因为它们不是一回事。您将如何在同一范围内使用
cons
conso
?这正是kanren的作者所决定的“方案”。它们不是标准的Lisp函数,上标也不被广泛支持。还要注意的是,添加o使名称可以发音。
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.