Prolog es un propósito general la lógica de programación de lenguaje asociados a la inteligencia artificial y lingüística computacional. Prolog tiene sus raíces en la lógica de primer orden, una 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álculo se inicia mediante la ejecución de una consulta sobre estas relaciones. El lenguaje fue concebida por un grupo de alrededor de Alain Colmerauer en Marsella, Francia, a principios de 1970 y el sistema Prolog primero 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 lenguajes más populares hoy en día, con muchas implementaciones disponibles libres y comerciales. Aunque en un principio destinado a procesamiento del lenguaje natural, la lengua se ha extendido mucho desde entonces en otras áreas como la demostración de teoremas, los sistemas expertos, juegos, sistemas automatizados de respuesta, las ontologías y sofisticados sistemas de control. Ambientes modernos Prolog apoyar la creación de interfaces gráficas de usuario, así como las aplicaciones administrativas y en red.
No hay comentarios:
Publicar un comentario