Quinta generación:
-se llama así a veces a los lenguajes de la inteligencia artificial, aunque con el fracaso del proyecto japonés de la quinta generación el nombre ha caído en desuso.
La mayoría de los lenguajes basados en restricciones, los lenguajes de programación lógica y los declarativos, son lenguajes de quinta generación.
Mientras que los lenguajes de programación de cuarta generación son diseñadores para desarrollar programas específicos, los de quinta generación son diseñados para que la computadora resuelva un problema dado sin un programador.
Los lenguajes de quinta generación suelen emplearse en inteligencia artificial. Prolog, OPS5 y Mercury son ejemplos de los 5GL.