Nonprocedural language

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