An extensible, lightweight relational/logic programming DSL written in pure Python
https://anaconda.org/main/minikanren/badges/version.svg
https://anaconda.org/main/minikanren/badges/latest_release_date.svg
https://anaconda.org/main/minikanren/badges/latest_release_relative_date.svg
https://anaconda.org/main/minikanren/badges/platforms.svg
https://anaconda.org/main/minikanren/badges/license.svg
https://anaconda.org/main/minikanren/badges/downloads.svg