Towards Bottom-Up Enumeration in miniKanren via Pruning and Memoizationarxiv.org
8 points by Jimmc414 3 days ago | 1 comment