News for hackers. Stuff that matters.

A comment on The Power of Prolog. Parent comment

Re:The Power of Prolog by Tomte on Thursday April 09, 2020 @05:53AM (#22821090)
I have seen a few *kanren posts now on HN, and they always have their operators ending in "o".

Is that just to distinguish them from normal "eval" (in this case), or is there a deeper meaning?

[ Parent | on HN ]
Re:The Power of Prolog by agumonkey on Thursday April 09, 2020 @11:43PM (#22829803)
I think it's yet another typographic ~wonder. From what I recall it's a ° to denote relation (relat°) but made into an ascii 'o'.

So yeah, it's just to distinguish from the usual semantics.

[ Parent | on HN ]