Tabla de contenido:
Definición - ¿Qué significa Prolog?
Programmation en Logique (Programming in Logic) o Prolog es un lenguaje de programación de alto nivel que tiene sus raíces en la lógica de primer orden o en el cálculo de predicados de primer orden. El idioma fue concebido en Marsella, Francia, a principios de la década de 1970 por un grupo dirigido por Alain Colmerauer. Es uno de los primeros lenguajes de programación lógica y sigue siendo popular hoy en día. Es un lenguaje de programación comúnmente asociado con la lingüística computacional y la inteligencia artificial y se utiliza en sistemas expertos, prueba de teoremas y comparación de patrones sobre árboles de análisis de lenguaje natural y procesamiento de lenguaje natural.
Techopedia explica Prolog
El primer sistema Prolog fue desarrollado en 1972 por Colmerauer junto con Philippe Roussel y se basó en la interpretación procesal de Robert Kowalski de las cláusulas de Horn. También estuvo en parte motivado por el deseo de conciliar el uso de la lógica como lenguaje de representación del conocimiento declarativo con la representación procesal del conocimiento. Prolog se desarrolló a propósito para el procesamiento del lenguaje natural, relacionado con las interacciones de la computadora y el lenguaje humano (natural).
Prolog difiere de otros lenguajes de programación, ya que es declarativo en lugar de secuencias de comandos. A veces se le llama lenguaje basado en reglas o declarativo, ya que se expresa en términos de relaciones entre las propiedades de los objetos, presentadas como hechos y reglas. Un cálculo se inicia ejecutando una consulta sobre estas relaciones.
Las aplicaciones incluyen:
- Aprendizaje automático
- Planificación robot
- Razonamiento automatizado
- Resolución de problemas
- Recuperación inteligente de bases de datos
- Comprensión del lenguaje natural
- Lenguaje de especificación
