Без заголовка

Вообще на удивление есть язык программирования в котором почти все языковые фичи собраны вместе - это Racket, диалект Scheme. Там и функ, и мета и пролог (и даталог), и даже функ реактивное программирование :). И ленивость (специальный диалект Lazy Racket) и континюации и модули и проч. Есть стого типизированный диалект. Даже Алгол 60 есть :). В смысле, язык допускает не только определять макросы, но и перепрограммировать читалку входного кода, так что там и пролог в проложбем синтаксисе вполне. Вобщем у него только один недостаток - Лисповый синтаксис :). Он же и достоинство.