Relational sorting in miniKanren. Collaborative coding experiment from miniKanren Uncourse #13. - View it on GitHub