Une langue dans laquelle l'utilisateur indique ce qui doit être atteint sans avoir des instructions spécifiques État qui l'ordinateur doit s'exécuter dans une séquence donnée.