[HN Gopher] Towards Bottom-Up Enumeration in miniKanren via Prun...
       ___________________________________________________________________
        
       Towards Bottom-Up Enumeration in miniKanren via Pruning and
       Memoization
        
       Author : Jimmc414
       Score  : 15 points
       Date   : 2026-08-03 21:22 UTC (3 days ago)
        
 (HTM) web link (arxiv.org)
 (TXT) w3m dump (arxiv.org)
        
       | ashton314 wrote:
       | Ooo I love anything miniKanren related.
       | 
       | I did a close reading of the implementation in the original
       | miniKanren paper; you can see my write-up and implementation
       | here: https://codeberg.org/ashton314/microKanren
       | 
       | miniKanren paper:
       | http://webyrd.net/scheme-2013/papers/HemannMuKanren2013.pdf
       | 
       | Also relevant--a practical use-case for miniKanren:
       | https://aphyr.com/posts/354-unifying-the-technical-interview
        
       ___________________________________________________________________
       (page generated 2026-08-07 04:01 UTC)