(一)为函数式语言的通用术语，常被视为命令式语言的相反对应词。命令式（或程序）语言明确的描述产生结果的工作步骤，常见的语言如Basic, Pascal, C等。而宣告式语言是描述变数和执行器间的工作关系，变数以函数或推论规则方式表示﹔而语言执行器（如解译器或编译器）则系以一些固定的规则执行语言（程式）以产生结果。最常见的例子为逻辑程式设计语言，如Prolog语言。
(二)一种程式设计语言，系以告诉电脑要什么，而不是告诉电脑要如何完成的方式设计程式。参【程式设计语言】（programming language）、【结构化查询语言】（structured query language; SQL）。