Declarative programming is in direct contrast to Imperative programming via imperative programming languages, where serial orders (imperatives) come given to the computer: "Take this, do that". An imperative programing language is (about) a equivalent as a procedural language or procedural programming language.

the distinctions come never sharply; any computer-oriented language has an element of initializing the run inside a computer, in order to become of any utilize. Hence totally computer-oriented language come somewhat procedural, & a distinction in a main serves to teach you shades of differences, degrees of abstraction-levels & a information behind the implementation.

Also potentially procedural online-subordinate languages rewards from either symbols representing information storage locations, a addresses (posititions, implementations) of which a computer programmer doesn't care to understand.

Especially the isolation between actual implementation & abstractions is an significant system sequentially for the wide picture of a computing system. However, every now and again these are crucial to know a implementation like than enjoy a isolation, e.g. in case these are necessary to optimize.

Languages generally considered declarative
Data-oriented such as SQL Functional Interface description, IDLs ABSET Lustre MetaPost Prolog SQL WSDL