Hacker News Reader

Good Post. But I struggled to understand it a first. Would be really helpful if you add a short description explaining it.

View on HN

It's simple: it starts with Scheme being implemented in Prolog and then Kanren gets implemented in the Prolog Scheme. It's much less difficult than a couple of magnets and an air hockey table.

Reply on news.ycombinator.com