Некоторые соображения об определении степени непроцедурности языков программирования

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