clojureschemelogicminikanren

Why do miniKanren names always end with `o`?

All miniKanren relations end with the letter o. What is the motivation for this? I see that the Clojure core.logic library also does this.

Solution

  • In the Preface of The Reasoned Schemer, they explain it thus:

    A relation, a function that returns a goal as its value, ends its name with a superscript 'o' (e.g., caro and nullo).

    So, it's a notation to denote a relation.