Relational programming in Python
conda install conda-forge::minikanren
An extensible, lightweight relational/logic programming DSL written in pure Python