Differences Between miniKanren and Prolog

MicroKanren in J: an Embedding of the Relational Paradigm in an Array Language with Rank-Polymorphic Unification

Minikanren

MiniKanren – An embedded DSL for logic programming