Uma linguagem em que o usuário diz o que deve ser alcançado sem a necessidade de instruções específicas do Estado que o computador deve executar em uma determinada seqüência.