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