Ingeniero

PROLOG

PROLOG
• El Prolog (o PROLOG), proveniente del francés PROgrammation
en LOGique, es un lenguaje para programar artefactos electrónicos
mediante el paradigma lógico con técnicas de producción
fnal interpretada. Es bastante conocido en el área de la Ingeniería
Informátca para investgación en Inteligencia Artfcial.

HISTORIA
• Su nombre viene de Programación en Lógica, ideado aprincipios de los años 70 en la  Universidad de Aix-Marseille
I (Marsella, Francia)
• Nació de un proyecto que no tenía como objetvo la traducción de un lenguaje de programación, sino la clasifcación
algorítmica de lenguajes naturales.
• Alain Colmerauer y Robert Pasero trabajaban en la parte del procesado del lenguaje natural.
• Jean Trudel y Philippe Roussel en la parte de deducción einferencia del sistema.
• 1983, David H.D. Warren desarrolló un compilador capaz de traducir Prolog en un conjunto de instrucciones de
una máquina abstracta denominada Warren Abstract Machine (WAM)

CARACTERÍSTICAS
• Basado en lógica y programación declaratva. 
• No se especifca cómo debe hacerse, sino qué debe lograrse. 
• Una característca importante en ProLog y que lo diferencia de otroslenguajes de programación, es que una variable sólo
puede tener un valor mientras se cumple el objetvo. 
• El programador se concentra más en el conocimiento que en los algoritmos. 
-¿Qué es conocido? (hechos, reglas) 
-¿Qué preguntar? (Cómo resolverlo)
• En ProLog, se llega a una solución infriéndola desde algo ya conocido

Aplicaciones
• Prolog se puede utlizar para resolver, básicamente,cualquier tpo de problema. Principalmente es útl en la gestón
de Juegos, en Inteligencia Artfcial y Sistemas Expertos, como lenguaje especialmente pensado para construir bases de
conocimientos basados en la lógica que forman parte importante de cualquier agente inteligente, en la construcción
de Compiladores e Intérpretes, en el Reconocimiento del Lenguaje Natural, etc.

Elementos en Prolog• Para construir programas en Prolog se necesita una serie de elementos como:

• Átomos: Es una defnición genérica de un objeto del mundo que queremos
representar.
• Predicados: Nos permite especifcar característcas de los objetos de nuestro
mundo o las relaciones entre ellos.
• Hechos
• Es algo que está ocurriendo en el mundo, característca o relación entre objetos.

• Los nombres deobjetos y relaciones deben comenzar con una letra
minúscula.
• Primero se escribe la relación, y luego los objetos separados por comas y
encerrados entre paréntesis.
• Al fnal de un hecho debe ir un punto (".").
• El orden de los objetos dentro de la relación es arbitrario, pero debemos ser

Elementos en Prolog

• Variables
• En Prolog, una variable representa el valor de un Átomo.Representan objetos que el mismo PROLOG determina.
• Una variable puede estar instanciada ó no instanciada. Estar instanciada cuando existe un objeto determinado
representado por la variable. Los nombres de variables comienzan siempre por una letra mayúscula.
• Un caso partcular es la variable anónima, representada por el carácter subrayado ("_"). Es una especie de comodín que
utlizaremos en aquelloslugares que debería aparecer una variable, pero no nos interesa darle un nombre concreto ya que
no vamos a utlizarla posteriormente.

Elementos en Prolog

• Reglas
• Las reglas se utlizan en PROLOG para signifcar que un hecho depende de uno ó mas hechos. Son la representación de las
implicaciones lógicas del tpo p ---> q (p implica q).
• Una regla consiste en una cabeza y un cuerpo, unidospor el signo ":-".
• La cabeza está formada por un único hecho.
• El cuerpo puede ser uno ó mas hechos (conjunción de hechos), separados por una coma (","), que actúa como el "y" lógico.
• Las reglas fnalizan con un punto (".").
• Consultas
• Es la acción de hacerle una pregunta al programa sobre la información contenida en la base de datos

Ventajas y desventajas de la
Programación...