Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
-
Updated
Dec 6, 2024 - Racket
#
minikanren
Here are 44 public repositories matching this topic...
An extensible, lightweight relational/logic programming DSL written in pure Python
minikanren logic-programming symbolic-computation clp relational-programming constraint-logic-programming
-
Updated
Jan 30, 2023 - Python
staged relational interpreters: running with holes, faster
-
Updated
Nov 15, 2024 - Racket
Statically typed embedding of miniKanren relational programming language into OCaml
-
Updated
Dec 24, 2024 - OCaml
Rust implementation of µKanren, a featherweight relational programming language.
-
Updated
Jan 1, 2023 - Rust
The Hy Transformer
-
Updated
May 7, 2019 - Hy
Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.
theano tensorflow minikanren pymc probabilistic-programming bayesian symbolic-computation symbolic-math relational-programming
-
Updated
Mar 20, 2024 - Python
a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.
-
Updated
Sep 9, 2023 - Go
CLP(SMT) on top of miniKanren
-
Updated
Feb 26, 2022 - Scheme
Meta-Interpreters in miniKanren
-
Updated
Aug 27, 2023 - Scheme
Logic Programming in Python
computer-algebra minikanren logic-programming sat-solver unification relational-reasoning relational-programming
-
Updated
Sep 28, 2021 - Python
A Declarative Theorem Prover for First-Order Classical Logic
-
Updated
Jun 14, 2024 - Scheme
Datalog implemented in minikanren
-
Updated
Sep 14, 2017 - Scheme
CLP(Set) in miniKanren
-
Updated
May 26, 2024 - Scheme
core.logic.nominal at the minikanren confo 2013
-
Updated
Feb 9, 2023 - Clojure
zKanren
-
Updated
Aug 10, 2021 - Racket
logic programming in elixir
-
Updated
Nov 1, 2018 - Elixir
microKanren in python
-
Updated
Aug 18, 2020 - Python
CLP(Rosette) on top of miniKanren
-
Updated
Apr 7, 2022 - Racket
Improve this page
Add a description, image, and links to the minikanren topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the minikanren topic, visit your repo's landing page and select "manage topics."