Un linguaggio in cui l'utente dichiara che cosa deve essere realizzato senza la necessità di specifiche istruzioni di stato che il computer deve eseguire in una data sequenza.