So where is lisp+prolog+erlang? 

Honestly, I understand teh aphorism well, as I code in scheme, layered on top of a C++ structure that is prolog-like.  And would like to have erlang or scala (programming language)-like features.  What language *should* I code in?  Does this language exist?