Exo

Exo is an implementation of microkanren and minikanren, to use logic programming in elixir.

Package

The package is available at hex.pm/packages/exo.

I recommend you using the git master version by :

{:exo, git: "https://github.com/xieyuheng/exo.git"}

More docs can be found at hexdocs.pm/exo.