An extensible, lightweight relational/logic programming DSL written in pure Python
-
Updated
Jan 30, 2023 - Python
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
microKanren in python
Kanrenmō - miniKanren for .NET
A template repository for relational programming using OCanren
A microKanren implementation in Hy with constraints
μKanren in Haskell 98
Relational programming for Ruby
A Functional/Relational Object Store
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."