Linea del tiempo timeline.

SQL es un lenguaje gestor para el manejo de la información en las bases de datos relacionales.
Diseñado por el investigador de IBM Edgar F. Codd.
Este modelo se basa en la asociación de “claves” con varios datos.
El lenguaje SQL se usa en todas las áreas en las que se explotan las bases de datos, en el sector financiero, las aplicaciones de banca online y de procesamiento de pagos almacenan datos sobre las transacciones financieras y los usuarios.

Prolog se compone de un conjunto de hechos (afirmaciones simples) y de reglas (que sirven para afirmar la veracidad de un hecho en base a otros). nació de la mano de un investigador de la Universidad de Marsella (Alain Colmerauer), mientras dirigía en un proyecto de tratamiento algorítmico de lenguajes naturales. Donde más se usa Prolog es en la inteligencia artificial y aspectos relacionados con la misma como el machine learning, procesamiento de lenguaje natural, etc.

El lenguaje de programación clean es un lenguaje de programación puramente funcional y tradicional, fue diseñado por Grupo de Investigación de Tecnología de Software de la Universidad Radboud Nijmegen y se obtuvo bajo la licencia BSD. Es un lenguaje de programación multipropósito o de propósito general, lo que significa que los programadores pueden usarlo para desarrollar diferentes tipos de aplicaciones y programas. Clean se diseñó principalmente para desarrollar aplicaciones del mundo real.

Haskell es un lenguaje de programación funcional, compilado y tipado estáticamente.es uno de los primeros lenguajes de programación puramente funcionales de código abierto y lleva el nombre del lógico estadounidense Haskell Brooks Curry.
Se usa principalmente en el análisis de datos para campos comerciales ricos en datos como finanzas, biotecnología o comercio electrónico.
Diseñado Por: Lennart Augustsson, Dave Barton, Brian Boutel, Warren Burton, Joseph Fasel, Kevin Hammond, entre otros más.

Gödel es un lenguaje de programación lógico. Fue desarrolado por John Lloyd y Patricia Hill . Es un lenguaje fuertemente tipado, el sistema de tipos se basa en una lógica de muchos ordenamientos con polimorfismo paramétrico. Lleva el nombre del lógico Kurt Gödel. Es un lenguaje para tareas de meta-programación, ya que es mucho más declarativo que Prolog.

Mercury es un lenguaje de programación lógica/funcional que combina la claridad y la expresividad de la programación declarativa con funciones avanzadas de análisis estático y detección de errores. Fue desarrollado por Fergus Henderson, Thomas Conway y Zoltan Somogyi en la universidad de Melbourne; Es un lenguaje de programación que contienen herramientas visuales para ayudar en el desarrollo de programas. Hay empresas que utilizan Mercury como lo es yes logic.