Почему «The Reasoned Schemer» добавляет «o» к концу своих функций?

Question

В мотивированном интеграторе они называют стандартными функциями lisp с «o» на конце, например conso и appendo.

Мой вопрос: Почему «Обоснованный Schemer» добавляет «o» к концу своих функций?

Answer 1

С стр.2 http://www.cs.indiana.edu/~eholk/papers/sfp2012.pdf:

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.