Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
-
Updated
Aug 5, 2024 - Racket
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
Statically typed embedding of miniKanren relational programming language into OCaml
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
Meta-Interpreters in miniKanren
Logic Programming in Python
A Declarative Theorem Prover for First-Order Classical Logic
Datalog implemented in minikanren
CLP(Set) in miniKanren
core.logic.nominal at the minikanren confo 2013
zKanren
A Pythonic implementation of *microkanren* logic language
microKanren in python
CLP(Rosette) on top of miniKanren
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."