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.
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
μKanren in Haskell 98
Relational programming for Ruby
A Functional/Relational Object Store
Entity Component Relation System library.
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."