Researchers present a rational tree unifier for miniKanren using memoization, lazy evaluation and pruning, improved runtime and memory. Submitted Oct 2025. Read more: https://getnews.me/study-explores-rational-tree-unification-techniques-in-minikanren/ #rationaltree #minikanren #logicprogramming