News for hackers. Stuff that matters.

A comment on The Power of Prolog. Parent comment

Re:The Power of Prolog by gleenn on Tuesday September 12, 2023 @04:08AM (#37478089)
Clojure has a Prolog library written for it called core.logic. I definitely didn't know Prolog well enough to make good use of all the esoteric function names but it seemed cool.

https://github.com/clojure/core.logic

[ Parent | on HN ]
Re:The Power of Prolog by FreakLegion on Tuesday September 12, 2023 @05:20AM (#37478550)
Core.logic is a miniKanren with some Prolog-ish additions. If you're thinking of names like membero and appendo, those are from miniKanren.
[ Parent | on HN ]