minikanren

minikanren is a Python library that provides a Domain Specific Language (DSL) for relational (logic) programming. It enables users to express sophisticated relations—in the form of goals—and generate values that satisfy these relations. The library is often used as an algorithmic core for Computer Algebra Systems and for the automated generation and optimization of numeric software. The current version is 1.0.5, with ongoing development and participation in miniKanren workshops across various language implementations. [2, 3]