Top 7 minikanren open source projects

A Declarative Theorem Prover for First-Order Classical Logic

Rust implementation of µKanren, a featherweight relational programming language.

An embedding of miniKanren in Shen.

CLP(SMT) on top of miniKanren

An extensible, lightweight relational/logic programming DSL written in pure Python

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.