Почему "Разумный интриган" добавляет "о" в конец своих функций?

Question

В аргументированном планировщике они называют стандартные функции lisp с 'o' на конце, например conso а также appendo,

Мой вопрос: почему "Разумный интриган" добавляет "о" в конец своих функций?

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.