A language in which the user states what is to be achieved without having to state specific instructions that the computer must execute in a given sequence.