Ivy PRE-ALPHA: the API of this library is changing rapidly Datomic / core.logic ideas / re-implementation in Elixir.