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.
CONJUNCIONES

C. 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
http://arantxa.ii.uam.es

Lpez, B. s.f. (En lnea). MX. Consultado 26 de ene. 2016. Formato PDF. Disponible
en http://www.itnuevolaredo.edu.mx
Russell, S. y Norvig, P. 2004. INTELIGENCIA ARTIFICIAL. UN ENFOQUE
MODERNO. PEARSON EDUCACION. 2 ed. Madrid.