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 ]
There are no comments on this comment yet.