Why does "The Reasoned Schemer" add an "o" to the end of its functions?
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 to share