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