2 ms·UKanren in J: Embedding in an Array Language with Rank-Polymorphic Unification [pdf]4 points by harperlee 6y agorscho 6y agoHi everyone, author here. AMA, I guess!