NONPROCEDURAL LANGUAGE
непроцедурный язык например, декларативные языки программирования типа Пролога, базирующиеся не на последовательно исполняемых операторах, управляющих структурах и т.д., а на описании набора (базы) фактов и отношений (правил), по которым выводится ответ на поставленный вопрос см. тж. declarative language, Prolog