Все отношения miniKanren заканчиваются буквой o . Что для этого мотивация? Я вижу, что библиотека Clojure core.logic также делает то же самое.
o