9 ms·someone should embed Prolog or microKanrenby 2ro 1y agosomeone should embed Prolog or microKanren