¿Qué son los lenguajes de programación de alto nivel?

Hay muchos.

Los lenguajes de programación de alto nivel incluyen: Fortran, Pascal, Cobol, C, C, Basic, Ada, Java, C#, Lisp, Haskell, ML, Scheme, Prolog, Smalltalk, etc.

Clasificación de los lenguajes de programación de alto nivel:

Lenguajes imperativos. La base semántica de este lenguaje es un modelo computable de la máquina de Turing que simula "almacenamiento de datos/operaciones de datos", lo cual es muy consistente con la implementación natural de la arquitectura informática moderna. La forma principal de generar operaciones es confiar en los efectos secundarios de declaraciones o comandos. La mayoría de los lenguajes populares modernos son de este tipo, como Fortran, Pascal, Cobol, C, C, Basic, Ada, Java, C#, etc. También se consideran de este tipo varios lenguajes de scripting.

Lenguaje funcional. La base semántica de este lenguaje es el modelo computable de mapeo de valores del operador lambda basado en el concepto de funciones matemáticas. Este lenguaje es muy adecuado para cálculos para trabajos como la inteligencia artificial. Lenguajes funcionales típicos como Lisp, Haskell, ML, Scheme, F#, etc.