VD>Предлагаю так: "Декларативные и функциональные и логические языки программирования". А?

Это масло малсеное получится.

логические языки — подмножество декларативных.
множество функциональных языков сильно пересекается с декларативными.

Если уж называть, то "Функциональное программирование".