Missä siis on lisp+prolog+erlang? 

Rehellisesti sanottuna ymmärrän aforismin hyvin, koska koodaan skeemalla, joka on kerrostettu prologin kaltaisen C++-rakenteen päälle.  Ja haluaisin erlangin tai scalan (ohjelmointikielen) kaltaisia ominaisuuksia.  Millä kielellä *pitäisi* koodata?  Onko tällainen kieli olemassa?