There are 3 repositories under minikanren topic.
Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
An extensible, lightweight relational/logic programming DSL written in pure Python
staged relational interpreters: running with holes, faster
Rust implementation of µKanren, a featherweight relational programming language.
The Hy Transformer
Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.
a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.
CLP(SMT) on top of miniKanren
Logic Programming in Python
CLP(Set) in miniKanren
core.logic.nominal at the minikanren confo 2013
zKanren
CLP(Rosette) on top of miniKanren
microKanren in python
A Pythonic implementation of *microkanren* logic language
A statically typed embedding of miniKanren in Haskell
An implementation of miniKanren in Typed Racket.
A quick implementation of miniKanren in CL
Minikanren implemented in dart language based on logic.js repository.
一种可读的编程语言/DSL。别名beat/bit
μKanren in Haskell 98