The Power of Prolog

Re:The Power of Prolog by agumonkey on Wednesday April 08, 2020 @06:09PM (#22817740)

ever seen Friedman and Byrd talk about kanren ?

    ? evalo(e, 6) 
    
    (+ 3 3)

[ Parent | on HN ]

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 ]

Re:The Power of Prolog by girzel on Wednesday April 08, 2020 @06:48PM (#22818046)

Double nuts!

[ Parent | on HN ]