Why does "The Reasoned Schemer" add an "o" to the end of its functions?

In a reasoned integrator, they name standard lisp functions with an "o" at the end, such as conso

and appendo

.

My question is: Why does "The Reasoned Schemer" add an "o" to the end of its functions?

+3


source to share


1 answer


From page 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.

      

+2


source







All Articles