A microKanren implementation in Hy with constraints
-
Updated
Mar 21, 2019 - Hy
#
relational-programming
Here are 13 public repositories matching this topic...
Relational programming for Ruby
ruby export yaml json data csv database reporting reports data-analysis relational-database csv-import relational-algebra relational relational-model relational-programming
-
Updated
Mar 10, 2020 - Ruby
microKanren in python
-
Updated
Aug 18, 2020 - Python
Basics of relational programming with Prolog —PROgramming in LOGic ^_^
-
Updated
Sep 16, 2020 - Prolog
Kanrenmō - miniKanren for .NET
-
Updated
Sep 18, 2021 - C#
Logic Programming in Python
computer-algebra minikanren logic-programming sat-solver unification relational-reasoning relational-programming
-
Updated
Sep 28, 2021 - Python
μKanren in Haskell 98
-
Updated
Jan 9, 2022 - Haskell
A template repository for relational programming using OCanren
-
Updated
Feb 20, 2023 - OCaml
A Functional/Relational Object Store
-
Updated
Feb 1, 2024 - Ruby
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
The Reasoned Schemer (2nd Edition) in Elm.
-
Updated
Mar 1, 2025 - Elm
Statically typed embedding of miniKanren relational programming language into OCaml
-
Updated
Jun 17, 2025 - OCaml
An extensible, lightweight relational/logic programming DSL written in pure Python
minikanren logic-programming symbolic-computation clp relational-programming constraint-logic-programming
-
Updated
Aug 22, 2025 - Python
Improve this page
Add a description, image, and links to the relational-programming topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the relational-programming topic, visit your repo's landing page and select "manage topics."