Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

Towards Bottom-Up Enumeration in miniKanren via Pruning and Memoization

arxiv.org

Post reply on HN
Print view View original

1–3 of 3 posts

Re: Towards Bottom-Up Enumeration in miniKanren via Pruning and Memoization

#2

Post by ashton314 »

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

Re: Towards Bottom-Up Enumeration in miniKanren via Pruning and Memoization

#3

Post by idahoduncan »

ashton314 wrote: post #2

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

[dead]
Post reply on HN