Nice! I love Prolog and considered the same idea a few years ago. Recent months have seen me learning Mercury too, I have just about finished wrapping the SDL2 media library with it so I can write games in Mercury.
Creating a clean Prolog in Elixir is my kind of mad idea. I’ll check out the git pages and have a look!
Sean.
