Towards Bottom-Up Enumeration in miniKanren via Pruning and Memoization
By Jimmc414 · 2026-08-03 · 26 points · 3 comments
https://arxiv.org/abs/2607.25373
By Jimmc414 · 26 points · 3 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews