This work presents a reimplementation within the array programming paradigm of MicroKanren, a minimal relational language designed to be embedded in host languages as a library. The particularities of the implementation relative to the array paradigm are detailed. The implementation is discussed in relation to the reference Racket version and a rank-polymorphic unification algorithm is presented. Those elements are discussed in light of future prospects.