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