An extensible, lightweight relational/logic programming DSL written in pure Python
Statically typed embedding of miniKanren relational programming language into OCaml
Basics of relational programming with Prolog —PROgramming in LOGic ^_^
Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.
Logic Programming in Python
A compiler for a relational programming language for the BEAM, written in OCaml
The Reasoned Schemer (2nd Edition) in Elm.
Exploring music theory as a graph, seeing how the puzzle pieces fit together
microKanren in python
An implementation of miniKanren which provides support for Constraint Handling Rules (CHR)
Kanrenmō - miniKanren for .NET
A microKanren implementation in Hy with constraints
A template repository for relational programming using OCanren
a process-first relational programming language
μKanren in Haskell 98
A Functional/Relational Object Store
Relational programming for Ruby
To associate your repository with the relational-programming topic, visit your repo's landing page and select "manage topics."