minikanren topic
gominikanren
a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.
clpsmt-miniKanren
CLP(SMT) on top of miniKanren
mediKanren
Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
staged-miniKanren
staged relational interpreters: running with holes, faster
ukanren-rs
Rust implementation of µKanren, a featherweight relational programming language.
symbolic-pymc
Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.
hydiomatic
The Hy Transformer
kanren
An extensible, lightweight relational/logic programming DSL written in pure Python
clpset-miniKanren
CLP(Set) in miniKanren
leanTAP
A Declarative Theorem Prover for First-Order Classical Logic