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

Ну, в такой постановке я согласен. Просто в софте очень популярна тема "функциональное программирование более модульно чем ОО", а это совсем про другое. В этом плане унификация запросов к разным онтологиям (унификация вычислений на множестве декларативных программ) много более близкая тема к модуляризации описаний методов -- несмотря на то, что практики в методах обманчиво процедурны и иногда скатываются до пошаговых описаний.