Analysis of information sources in references of the Wikipedia article "宣言型プログラミング" in Japanese language version.
In this context, the criterion for calling a programming language declarative is the existence of a clear, mathematically established correspondence between the language and mathematical logic such that a declarative semantics for the language can be based on the model or the proof theory (or both) of the logic.