Sistemas de Programacin Lgicos -El Lenguaje Prolog

Resumen:
La programacion lgica considera al programa y a sus entradas como aseveraciones lgicas acerca del mundo, y al
procedimiento de hacer explcitas las consecuencias como un proceso de inferencia. La relacin entre lgica y algoritmo esta
resumida en la ecuacin de Robert Kowalski:
Algoritmo = Lgica + Control
Prolog se le utiliza fundamentalmente como un lenguaje rpido para elaborar prototipos y en tareas donde hay que
manejar signos, como en el diseo de compiladores y en el anlisis gramatical del lenguaje natural. Tambin se le ha
utilizado en el diseo de aplicaciones de sistemas expertos en las reas legal, financiera y otras.

Palabras Clave:

Introduccion.- Representacin correspondiente a Prolog el consecuente

En cuanto base de conocimientos lgica, el programa
Prolog tiene las siguientes caractersticas:
El programa consta de una secuencia de oraciones, que
guardan una relacin implcita de coyuncion. Todas las
variables tienen cuantificacin universal implcita y
cuando las variables aparecen en oraciones distintas se
consideran como diferentes.
Se aceptan nicamente oraciones en forma de clausula
de Horm. Es decir, las oraciones son atmicas, o bien una
implicacin que no tiene antecedentes negados y un
consecuente atmico.
o cabeza, esta del lado izquierdo; los antecedentes o
cuerpo, a la derecha. Una clausula en Prolog se leera
como Para demostrar (la cabeza), demuestre (el
cuerpo).
Con el fin de mantener este tipo de lectura intuitiva junto
con nuestra notacin lgica, nos comprometeremos a
escribir las clausulas de Prolog empleando una
implicacin en sentido izquierdo. Por ejemplo, la segunda
clausula de la definicin de Miembro se convierte en:

Los trminos pueden ser signos de constante, variables o
trminos funcionales.
En una consulta puede haber conjunciones, disyunciones,
variables y trminos funcionales.
En vez de utilizar antecedentes negados en sus
implicaciones, en Prolog se emplea un operador de
negacin como falla: una meta no P se considera
demostrada si el sistema no logra demostrar P.
Desarrollo
Se cuenta con una gran cantidad de predicados
incorporados para aritmtica, de entrada/salida y
diversas funciones del sistema y de la base de
conocimientos. En la notacin de Prolog ,la meta X es
4+3 se alcanza cuando X se vincula a 7. Por el contrario,
no es posible demostrar la meta 5 es X+Y, puesto que las
funciones integradas no tienen facultad para la resolucin
arbitraria de ecuaciones.
El siguiente es un ejemplo del empleo del programa
Prolog en la relacin Miembro, expresados ambos en
notacin normal de lgica de primer orden y en formato
que utiliza Prolog:
La definicin de Miembro puede servir para responder a
diversos tipos de consultas. Puede utilizarse para
confirmar que es verdadera. Adems puede enumerar los
tres valores de x que hagan verdadera a . Tambin
pueden buscar el valor de x tal que es verdadera.
Tambin puede servir para enumerar las listas para las
cuales es verdadera.
Los diseadores de Prolog realizaron su implantacin con
el fin de contar con un modelo sencillo y de rpida
ejecucin:
o Todas las inferencias se realizan por
encadenamiento hacia atrs, con bsqueda
preferente por profundidad. Es decir cuando en el
proceso de demostracin de una oracin se tope con
un callejn sin salida, Prolog retroceder al paso
inmediato anterior que ofrezca opciones.
o El orden de bsqueda a travs de los conjuntos de
un antecedente es siempre de izquierda a derecha,
y las clausulas de la base de conocimientos se
aplican en orden, de la primera a la ultima.
o La verificacin de ocurrencia se omite en la rutina
de unificacin.
Aunque la omisin de la verificacin de ocurrencia podra
restar confiabilidad a Prolog, en la practica los errores se
producen muy rara vez. El empleo de la bsqueda
preferente por profundidad no permite a Prolog ser
completo, debido a las rutas infinitas que crean las
oraciones circulares.
Los programadores debern tener presente las grande
ventajas de Prolog es que el modelo de ejecucin es lo
suficientemente sencillo como para que un programador
con la capacitacin necesaria pueda incorporar
informacin de control y producir as un programa
eficiente.
La ejecucin de un programa Prolog se realiza de dos
maneras: por interpretacin y por compilacin.
La primera consiste en que en vez de construir la lista
de todas las respuestas posibles para cada submeta,
antes de proceder con la siguiente, los intrpretes de
Prolog generan una respuesta y una promesa para
generar el resto una vez que la respuesta en cuestin
haya sido explorada totalmente. A esta promesa se le
denomina punto de eleccin. Una vez que la bsqueda
preferente por profundidad concluye su exploracin de las
posibles soluciones aportadas por la respuesta en
cuestin y retrocede al punto de eleccin, este se
expande para producir as una nueva respuesta para la
submeta y el nuevo punto de eleccin.
Esta manera de proceder permite ahorrar tiempo y
espacio.
Conclusion
La Sencilla implantacin del ENACADENAMIENTO-HACIA-
ATRS invierte bastante tiempo en la generacin de
sustituciones y en aplicarlas a las listas de consulta.
Prolog elimina la necesidad de un tipo de datos de
sustitucin al implementar variables lgicas capaces de
recordar su vinculacin actual. En todo instante, las
variables de un programa estn vinculadas o
desvinculadas a cierto valor. En conjunto, tales variables
y valores definen de manera implcita una sustitucin.
Desde luego, se produce solo una sustitucin a la vez,
pero no necesitamos ms. La sustitucin es la correcta
para la ruta actual en el rbol de bsqueda. La ampliacin
de la ruta solo puede aadir nuevas vinculaciones de
variables, puesto que si se intentara aadir una
vinculacin distinta a una variable que ya este vinculada,
dar como resultado una falla en la unificacin. Si llegara
a fallar una ruta de la bsqueda, Prolog retroceder a un
punto de eleccin previo, y posiblemente all deba
desvincular algunas variables. Para ello, es necesario que
lleve un registro de todas las variables vinculadas en una
pila que se conoce con el nombre de pista.
Bibliografia
Jonathan Muoz Aleman (15/01/2016) Sistemas de
razonamiento logico SlideShare recuperado de:
https://es.slideshare.net/GeekMelomano/sistemas-de-
razonamiento-lgico-1240772