DECLARATIVE LANGUAGE
декларативный [непроцедурный] язык язык программирования, в котором программист описывает факты, касающиеся некоторой области (т.е. формулирует задачу), оставляя интерпретатору языка вывести из них соответствующие заключения см. тж. nonprocedural language, procedural language, programming language, Prolog