3 ms·miniKanren is not nearly as efficient as Prolog though.by varranvar 3y agominiKanren is not nearly as efficient as Prolog though.