declarative language, nonprocedural language Язык программирования, программа на котором задает связи и отношения между объектами и величинами и не определяет последовательность выполнения действий. Степень декларативности языка является относительным понятием: Пролог является декларативным языком по сравнению с ассемблером, но его можно рассматривать как процедурный язык по сравнению с языками представления знаний.