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:
http://mural.uv.es/mijuanlo/PracticasPROLOG.pdf
Futch, E. 2007. Programacin para Inteligencia Artificial.
(En lnea). Consultado el 02 Jul. 2015. Formato: PDF.
Disponible
en:
http://maestros.unitec.edu/~efutch/concapanxxiiiprolog.pdf

Juganaru, M. 2010. Lenguaje PROLOG. (En lnea).

Consultado el 02 Jul. 2015. Formato: PDF. Disponible en:
http://ce.azc.uam.mx/profesores/mjm/pub/prolog.pdf

Snchez, J. 2011. PROLOG. (En lnea). Consultado el 02

Jul.
2015.
Formato:
PDF.
Disponible
en:
http://gpd.sip.ucm.es/jaime/pl/prolog.pdf