Relational logic programming in pure Python
The minikanren library provides an algorithmic core for computer algebra systems in Python.