Robert Virding (of helped implement Erlang with Joe Armstrong (rip) fame) has developed a logic programming language that runs on the BEAM: https://github.com/

Robert Virding (of helped implement Erlang with Joe Armstrong (rip) fame) has developed a logic programming language that runs on the BEAM: https://github.com/rvirding/erlog https://github.com/rvirding/erlog I have not tried it yet. I have an idea that I know will work fine on Prolog, but, I want to put it on the web with elixir/phoenix. So I was thinking erlog might be a way to avoid message passing out to a separate prolog process.