An extensible, lightweight relational/logic programming DSL written in pure Python
Statically typed embedding of miniKanren relational programming language into OCaml
The Reasoned Schemer (2nd Edition) in Elm.
Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.
A Functional/Relational Object Store
A template repository for relational programming using OCanren
μKanren in Haskell 98
Logic Programming in Python
Kanrenmō - miniKanren for .NET
Basics of relational programming with Prolog —PROgramming in LOGic ^_^
microKanren in python
Relational programming for Ruby
A microKanren implementation in Hy with constraints
Add a description, image, and links to the relational-programming topic page so that developers can more easily learn about it.
To associate your repository with the relational-programming topic, visit your repo's landing page and select "manage topics."