Documentos de Académico
Documentos de Profesional
Documentos de Cultura
PROLOG
PROLOG
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
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.