Nonprocedural Language

Declarative languages, also called nonprocedural or very high level, are programming languages in which (ideally) a program specifies what is to be done rather than how to do it. In such languages there is less difference between the specification of a program and its implementation than in the procedural languages described so far .

The two common kinds of declarative languages are logic and functional languages .

Sources:

Sebesta Robert. Concepts of programming languages. Boston: Pearson, 2015. – 800