| progr. | declarative language | декларативный язык (т.ж. непроцедурный язык; язык программирования, в котором программист описывает факты, касающиеся некоторой области (т.е. формулирует задачу), оставляя интерпретатору языка вывести из них соответствующие заключения ssn) |