minikanren

julia ,  lua ,  elixir ,  pragprog ,  published-book ,  factor ,  elm ,  minikanren ,  idris ,  book-seven-more-languages-in-seven-weeks