3 ms·The article does mention miniKanren and μKanren briefly.by skidr0w 11y agoThe article does mention miniKanren and μKanren briefly.