INTRODUCCION.

En este tema hablaremos sobre la introduccin a prolog, el cual es un lenguaje de

programacin simple pero a su vez complejo ya que este se basa en la programacin
lgica, el desarrollo de prolog inicio en los 70, fue el primer programa creado el rea de
Inteligencia Artificial.

MARCO TEORICO.
El lenguaje Prolog fu desarrollado en la dcada de los 70's por Alain Colmerauer en la
Universidad de Marsella; El nombre de Prolog significa "Programacin en Lgica"
indicando que sus bases descansan en la Lgica Matemtica. La caracterstica ms
distintiva de Prolog es la forma declarativa de su programacin a diferencia de los
lenguajes convencionales que estn orientados a procedimientos; en consecuencia, el
uso de Prolog implica pensar de modo completamente diferente respecto a los
problemas a solucionar, lo que puede parecer difcil al principio pero despus de
acostumbrarse resulta muy natural.
El lenguaje Prolog se centra alrededor de un conjunto relativamente pequeo de
mecanismos bsicos que incluyen el empatamiento de patrones, estructuracin de los
datos basados en rboles y retroceso (backtracking) automtico; estas herramientas
constituyen un marco de programacin flexible y poderoso que facilitan la solucin de
muchos problemas en el rea de la Inteligencia Artificial.
Un programa en Prolog est formado por una secuencia de clusulas de tres tipos:
A. Hechos.- declaran las cosas que son incondicionalmente ciertas
Ejemplo: es_padre(abraham, isaac) es un hecho que indica Abraham es padre
de Isaac.
B. Reglas.- especifican qu cosas se pueden deducir, si es que se cumplen ciertas
condiciones.
Una regla consiste en una cabeza y un cuerpo, unidos por el signo :-.
La cabeza esta formada por un nico hecho.
El cuerpo puede ser uno o ms hechos (conjuncin de hechos), separados
por una coma (","), que actan como el "y" lgico.
Las reglas finalizan con un punto (".").
La cabeza en una regla PROLOG corresponde al consecuente de una implicacin
lgica, y el cuerpo al antecedente. Este hecho puede conducir a errores de
representacin. Supongamos el siguiente razonamiento lgico: Que el suelo esta
mojado, es una condicin suficiente de que el tiempo sea lluvioso,
pero no necesaria. Por lo tanto, a partir de ese hecho, no podemos deducir mediante

la implicacin, que esta lloviendo (pueden haber regado las calles). La representacin
*correcta* en PROLOG, sera: suelo(mojado) :- tiempo(lluvioso). suelo(mojado). Cabe
sealar que la regla esta "al revs" . Esto es as por el mecanismo de
deduccin hacia atrs que emplea PROLOG. Si cometiramos el *error* de
representarla
como: tiempo(lluvioso)
:suelo(mojado).
suelo(mojado). PROLOG, partiendo del hecho de que el suelo esta mojado, deducira
incorrectamente que el tiempo es lluvioso.
CONJUNCIONES

A. Preguntas.- permiten que el usuario pida alguna informacin derivable de los

hechos y las reglas del programa.
SINTAXIS
Variables: Maysculas.
Constantes: Minsculas.
Cada afirmacin debe terminar con un punto.
No se aceptan constantes con espacios en blanco, en lugar de ello se usa el guin bajo
(_).
Por ejemplo primer_ministro.
Los comentarios empiezan con el smbolo %
Toda instruccin se ejecuta llamando a la funcin especfica.
Si se encuentra una solucin, significa que la consulta se pudo empatar con una funcin
previamente definida.

CONCLUSION.
Se puede concluir que su funcin principal es el desarrollo de programacin
lgica,adems prolog es una gran herramienta en el rea de Inteligencia Artificial, con
este se emplea aplicaciones en base a conocimientos y el autoaprendizaje.

BIBLIOGRAFA.
Introduccin a Prolog. Consultado 26 de ene. 2016. Formato PDF. Disponible en
[Link]

Lpez, B. s.f. (En lnea). MX. Consultado 26 de ene. 2016. Formato PDF. Disponible
en [Link]
Russell, S. y Norvig, P. 2004. INTELIGENCIA ARTIFICIAL. UN ENFOQUE
MODERNO. PEARSON EDUCACION. 2 ed. Madrid.