Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.

• UpdatedFeb 25, 2025
• Racket

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

• UpdatedJan 30, 2023
• Python

multi-stage relational programming for staged relational interpreters: running with holes, faster

• UpdatedApr 26, 2025
• Racket

Statically typed embedding of miniKanren relational programming language into OCaml

• UpdatedMar 20, 2025
• OCaml

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

• UpdatedJan 1, 2023
• Rust

The Hy Transformer

• UpdatedMay 7, 2019
• Hy

Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.

• UpdatedMar 20, 2024
• Python

a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.

• UpdatedSep 9, 2023
• Go

CLP(SMT) on top of miniKanren

• UpdatedFeb 26, 2022
• Scheme

Prolog-Style Meta-Interpreters in miniKanren

• UpdatedMar 9, 2025
• Scheme

Logic Programming in Python

• UpdatedSep 28, 2021
• Python

A Declarative Theorem Prover for First-Order Classical Logic

• UpdatedJun 14, 2024
• Scheme

An embedding of miniKanren in Shen.

• UpdatedJun 6, 2015
• Shen

Datalog implemented in minikanren

• UpdatedSep 14, 2017
• Scheme

CLP(Set) in miniKanren

• UpdatedMay 26, 2024
• Scheme

A statically typed embedding of miniKanren in Haskell

• UpdatedMar 2, 2025
• Haskell

core.logic.nominal at the minikanren confo 2013

• UpdatedFeb 9, 2023
• Clojure

zKanren

• UpdatedAug 10, 2021
• Racket

logic programming in elixir

• UpdatedNov 1, 2018
• Elixir

A Pythonic implementation of *microkanren* logic language

• UpdatedDec 4, 2020
• Python