prolog

Prolog es una lógica de uso general lenguaje de programación asociadas a la inteligencia artificial y lingüística computacional.Prolog tiene sus raíces en la lógica formal, ya diferencia de muchos otros lenguajes de programación, Prolog es declarativa: La lógica del programa se expresa en términos de relaciones, representado como los hechos y las normas. El cómputo se inicia mediante la ejecución de una consulta sobre estas relaciones.El lenguaje fue concebido por un grupo de alrededor de Alain Colmerauer en Marsella, Francia, a principios de 1970 y el primer sistema de Prolog fue desarrollado en 1972 por Colmerauer con Philippe Roussel. 


Prolog fue uno de los primeros lenguajes de programación lógica, y sigue siendo uno de los idiomas más populares como hoy, con muchas implementaciones disponibles libres y comerciales. Si bien inicialmente destinadas a procesamiento del lenguaje natural, la lengua desde entonces ha extendido mucho en otras áreas como la demostración de teoremas, sistemas expertos, juegos, sistemas automáticos de respuesta, ontologías y sistemas de control sofisticados. Modernos entornos de Prolog apoyar la creación de interfaces gráficas de usuario, así como las aplicaciones administrativas y en red.