Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
-
Updated
Jun 14, 2024 - Racket
Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
Statically typed embedding of miniKanren relational programming language into OCaml
An extensible, lightweight relational/logic programming DSL written in pure Python
staged relational interpreters: running with holes, faster
Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.
CLP(SMT) on top of miniKanren
Rust implementation of µKanren, a featherweight relational programming language.
The Hy Transformer
Meta-Interpreters in miniKanren
zKanren
CLP(Set) in miniKanren
core.logic.nominal at the minikanren confo 2013
A Declarative Theorem Prover for First-Order Classical Logic
a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.
A Pythonic implementation of *microkanren* logic language
Kanrenmō - miniKanren for .NET
A quick implementation of miniKanren in CL
microKanren in python
Add a description, image, and links to the minikanren topic page so that developers can more easily learn about it.
To associate your repository with the minikanren topic, visit your repo's landing page and select "manage topics."