Towards Bottom-Up Enumeration in miniKanren via Pruning and Memoization | ArxivCSExplorer