#

relational-programming

Here are 4 public repositories matching this topic...

pythological / kanren

An extensible, lightweight relational/logic programming DSL written in pure Python

minikanren logic-programming symbolic-computation clp relational-programming constraint-logic-programming

Updated Jan 30, 2023
Python

pymc-devs / symbolic-pymc

Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.

theano tensorflow minikanren pymc probabilistic-programming bayesian symbolic-computation symbolic-math relational-programming

Updated Mar 20, 2024
Python

brandonwillard / kanren-old

Logic Programming in Python

computer-algebra minikanren logic-programming sat-solver unification relational-reasoning relational-programming

Updated Sep 28, 2021
Python

ethframe / microkanren

microKanren in python

python minikanren python-3 microkanren logical-programming relational-programming

Updated Aug 18, 2020
Python

Improve this page

Add a description, image, and links to the relational-programming topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the relational-programming topic, visit your repo's landing page and select "manage topics."