You might be interested in the idea of Web Prolog, a language being written by Torbjorn Lager. It aims to provide similar concurrency features as Erlang, but retaining the logic variables, backtracking and unification etc provided by standard prolog.

It's at a point where he needs feedback. https://www.youtube.com/watch?v=mmNvxDEaLO4