[iflamberg]

Erlang основан на prolog. Пролог для людей привыкшик к ООП и си-подобному синтаксису - мозгодробителен. Но там решены некоторые проблемы именно серверных языков, как то скалирование(т.е. разгрузка потоков на несколько машин в кластере) и блокировка данных.