Declarative language

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