ESCUELA SUPERIOR POLITCNICA AGROPECUARIA DE
MANAB MANUEL FLIX LPEZ
CARRERA INFORMTICA
SEMESTRE SPTIMO
PERODO OCT-FE/2016
TEMA:
INTRODUCCIN DE PROLOG
MATERIA:
INTELIGENCIA ARTIFICIAL II
AUTORA:
MOREIRA MONSERRATE YULY CRISTINA
FACILITADORA:
ING. HIRAIDA SANTANA
MISIN
Formacin de profesionales ntegros que conjuguen ciencia, tecnologa y valores en
su accionar, comprometidos con la sociedad en el manejo adecuado de programas y
herramientas computacionales de ltima generacin.
VISIN
Ser referente en la formacin de profesionales de prestigio en el desarrollo de
aplicaciones informticas y soluciones de hardware.
CALCETA, DICIEMBRE 2015
INTRODUCCIN
PROLOG es un lenguaje de programacin declarativo que se componen de las
clusulas de Horn, que quiere decir que si es verdad el antecedente, entonces
es verdad el consecuente, en la que cada objetivo se separa con un coma y
este se puede considerarse similar a una instruccin del lenguajes imperativos.
OBJETIVO
El objetivo de PROLOG
es conocer y aprender sobre el lenguaje de
programacin declarativo que es PROLOG.
MARCO TERICO
Unifica.- En Prolog se selecciona el primer punto de eleccin y sigue
ejecutando el programa hasta determinar si el objetivo es verdadero o falso.
Backtraking.- Se trata en deshacer todo lo ejecutado situando el programa en
el mismo estado en el que estaba justo antes de llegar al punto de eleccin.
Entonces se toma el siguiente punto de eleccin que estaba pendiente y se
repite de nuevo el proceso.
CONOCIMIENTO
El conocimiento es considerado como la comprensin de alguna rea
especfica que se obtiene a travs de la experiencia o educacin. El
conocimiento est compuesto de hechos, conceptos, teoras, procedimientos y
relaciones
Como elementos importantes de un sistema basado en conocimiento podemos
citar las siguientes partes
Base de
conocimiento
Mquina de
inferencia
Interfaz con el
usuario
Representacin del
conocimiento del
dominio
Proceso de
razonamiento
partir de datos
de entrada
Entradas y
salidas del
sistema
PROGRAMACIN EN PROLOG
Como Shell para la programacin de Sistemas Expertos Basados en Reglas,
PROLOG usa Lgica de Predicados de Primer Orden (restringida a clusulas
de Horn) para representar datos y conocimiento, utiliza encadenamiento hacia
atrs y una estrategia de control retroactiva sin informacin heurstica.
ELEMENTOS DEL LENGUAJE
HECHOS
A
VARIABLES
CONSULTAS
CON- REGL
JUNCIO- AS
NES
En la cual solo veremos hechos y consulta.
LOS HECHOS
Un hecho describe una propiedad de un objeto.
Ejemplo: El diamante es valioso
Hecho:
valioso(diamante)
El programador debe definir la interpretacin de los objetos y las
relaciones entre ellos.
Objetos: juan, libro
Relacion:
tiene(juan,libro).
El hecho debe terminar con un punto
El orden de la relacin es importante.
El nombre de los objetos y relaciones empiezan por minscula.
Los predicados pueden ser:
MONDI
COS
POLIDIC
OS
valioso(diamante).
mujer(ana).
tiene(juan,libro).
da(juan,libro,maria).
El diamante es valioso.
Ana es una mujer.
Juan tiene el libro.
Juan da el libro a Mara.
CONSULTAS
Las respuestas a una consulta pueden ser:
YES -> Se deduce de la BC
NO -> No se deduce; no es lo mismo que falso.
Qu responder a una consulta?
[ENTER] -> Termina.
; -> Hay una respuesta?
EJEMPLO
padre(juan, pedro).
padre(jos,pedro).
padre(mara,pedro).
padre(pedro,pablo).
padre(ana,alberto).
CONSULTA
For help, use?- help(Topic). or ?- apropos(Word).
?- consult(genealogia).
% genealogia compiled 0.00 sec, 2,704 bytes
Yes
??- padre(mara,pablo).
No
?- padre(ana,alberto).
Yes
?- padre(mara,X).
X = pedro ;
quiere_a(maria,enrique).
quiere_a(juan,jorge).
quiere_a(maria,susana).
quiere_a(maria,ana).
quiere_a(susana,pablo).
quiere_a(ana,jorge).
hombre(juan).
hombre(pablo).
hombre(jorge).
hombre(enrique).
mujer(maria).
mujer(susana).
mujer(ana).
teme_a(susana,pablo).
teme_a(jorge,enrique).
teme_a(maria,pablo).
quiere_pero_teme_a(X,Y) :- quiere_a(X,Y), teme_a(X,Y).
querido_por(X,Y) :- quiere_a(Y,X).
puede_casarse_con(X,Y) :- quiere_a(X,Y), hombre(X).
puede_casarse_con(X,Y) :- quiere_a(X,Y), mujer(X).
CONCLUSIN
Como conclusin podemos decir que el lenguaje PROLOG es de
mucha
importancia, y sencillo de realizar, ya que estos son
utilizados para sistemas expertos.
PROLOG en sus lneas de cdigo tienen elementos fundamentales
que se constituyen por hechos y reglas, en la cual los hechos por
redundancia sern verdaderas, en cambia las reglas determinaran,
si la instruccin dada ser verdadera o caso contrario falsa, siempre
y cuando se cumpla lo que dice el hecho.
BIBLIOGRAFA
Escrig, M; Pacheco, J; Toledo, F. 2003. El lenguaje de
Programacin PROLOG. (En lnea). Consultado el 02 Jul.
2015.
Formato:
PDF.
Disponible
en:
[Link]
Futch, E. 2007. Programacin para Inteligencia Artificial.
(En lnea). Consultado el 02 Jul. 2015. Formato: PDF.
Disponible
en:
[Link]
Juganaru, M. 2010. Lenguaje PROLOG. (En lnea).
Consultado el 02 Jul. 2015. Formato: PDF. Disponible en:
[Link]
Snchez, J. 2011. PROLOG. (En lnea). Consultado el 02
Jul.
2015.
Formato:
PDF.
Disponible
en:
[Link]