Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
-
Updated
Sep 25, 2024 - Racket
Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
staged relational interpreters: running with holes, faster
Statically typed embedding of miniKanren relational programming language into OCaml
A statically typed embedding of miniKanren in Haskell
A minikanren implementation in Nim(skull)
A Declarative Theorem Prover for First-Order Classical Logic
CLP(Set) in miniKanren
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.
Meta-Interpreters in miniKanren
core.logic.nominal at the minikanren confo 2013
An extensible, lightweight relational/logic programming DSL written in pure Python
Rust implementation of µKanren, a featherweight relational programming language.
A quick implementation of miniKanren in CL
CLP(Rosette) on top of miniKanren
CLP(SMT) 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."