Un lenguaje en el que el usuario declara lo que está por lograrse sin necesidad de instrucciones específicas de Estado que el equipo debe ejecutar en una secuencia dada.