Cool. I went through elixirschool a couple of years ago but didn't know it had logic programming builtin.