MiniKanren as a Tool for Symbolic Computation in Python

In this article, we give a brief overview of the current state and future
potential of symbolic computation within the Python statistical modeling and
machine learning community. We detail the use of miniKanren as an underlying
framework for term rewritin… Read more