3 ms·MiniKanren, being purely relational, is a subset of Prolog.by rscho 2y agoMiniKanren, being purely relational, is a subset of Prolog.