En ny akademisk artikkel presenterer teknikker for mer effektiv bunn-opp-søking i det logiske programmeringsspråket miniKanren, ved hjelp av beskjæring og memoisering.

Kilde: https://arxiv.org/abs/2607.25373