Definición: ¿Qué significa Prolog?
Programmation en Logique (Programación en lógica) o Prolog es un lenguaje de programación de alto nivel que tiene sus raíces en la lógica de primer orden o 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 en la actualidad. Es un lenguaje de programación comúnmente asociado con la lingüística computacional y la inteligencia artificial y se utiliza en sistemas expertos, demostración de teoremas y coincidencia de patrones sobre árboles de análisis sintáctico del lenguaje natural y procesamiento del lenguaje natural.
Techinfo explica Prolog
El primer sistema Prolog fue desarrollado en 1972 por Colmerauer junto con Philippe Roussel y se basó en la interpretación procedimental de Robert Kowalski de las cláusulas de Horn. También fue motivado en parte por el deseo de reconciliar el uso de la lógica como lenguaje declarativo de representación del conocimiento con la representación procedimental del conocimiento. Prolog fue desarrollado a propósito para el procesamiento del lenguaje natural, relacionado con las interacciones del lenguaje humano (natural) y la computadora.
Prolog se diferencia de otros lenguajes de programación en que es declarativo en lugar de secuencias de comandos. A veces se le llama lenguaje declarativo o basado en reglas, ya que se expresa en términos de relaciones entre las propiedades de los objetos, presentados como hechos y reglas. Se inicia un cálculo ejecutando una consulta sobre estas relaciones.
Las aplicaciones incluyen:
- Aprendizaje automático
- Planificación de robots
- Razonamiento automatizado
- Resolución de problemas
- Recuperación de base de datos inteligente
- Comprensión del lenguaje natural
- Lenguaje de especificación