UKanren in J: Embedding in an Array Language with Rank-Polymorphic Unification [pdf]

Hi everyone, author here. AMA, I guess!