A nyelvet, amelyben a felhasználó állítja, mi az, hogy lehet elérni anélkül, hogy állami konkrét utasításokat, hogy a számítógép egy adott sorrendben kell végrehajtani.