Towards Bottom-Up Enumeration in miniKanren via Pruning and Memoization

by Jimmc414 | View on Hacker News