relational-programming

There are 12 repositories under relational-programming topic.

pythological/kanren
An extensible, lightweight relational/logic programming DSL written in pure Python
Language:Python174 8 3818
PLTools/OCanren
Statically typed embedding of miniKanren relational programming language into OCaml
Language:OCaml117 11 419
alhassy/PrologCheatSheet
Basics of relational programming with Prolog —PROgramming in LOGic ^_^
Language:Prolog70 3 03
pymc-devs/symbolic-pymc
Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.
Language:Python61 23 448
brandonwillard/kanren-old
Logic Programming in Python
Language:Python30 6 01
ethframe/microkanren
microKanren in python
Language:Python9 3 01
yuretz/kanrenmo
Kanrenmō - miniKanren for .NET
Language:C#5 2 01
brandonwillard/hypoKanren
A microKanren implementation in Hy with constraints
Language:Hy2 3 0
Kakadu/OCanren-basic-template
A template repository for relational programming using OCanren
Language:OCaml2 2 00
xavierpinho/microKanren-demo
μKanren in Haskell 98
Language:Haskell1 1 01
zera-x/taro
A Functional/Relational Object Store
Language:Ruby0 1 00
delonnewman/relational
Relational programming for Ruby
Language:Ruby3 0