Декларативное программирование на C++ / Habr Примеры декларативных языков программирования