python-minikanren 1.0.1 Relational logic programming in pure Python

The minikanren library provides an algorithmic core for computer algebra systems in Python.