Exo is an implementation of microkanren and minikanren, to use logic programming in elixir.
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.