Ing.

Freddy Toribio HUAYTA MEZA

CURSO
DOCENTE
ALUMNO
SEMESTRE
PAMPAS - 2014
2014-I
QUISPE QUICHCA, Edgar J

INTELIGENCIA ARTIFICIAL

CICLO VII




































UNIVERSIDAD NACIONAL DE HUANCAVELICA
(Creada por Ley N 25265)
FACULTAD DE INGENIERA ELECTRNICA - SISTEMAS
ESCUELA ACADMICO PROFESIONAL DE SISTEMAS


Inteligencia Artificial Pgina 2



Base de Conocimeintos
progenitor(estela,demetrio).
progenitor(silverio,denetrio).
progenitor(victoria,apolinaria).
progenitor(silvestre,apolinaria).
progenitor(apolinaria,edgar).
progenitor(demetrio,edgar).
progenitor(apolinaria,hermelinda).
progenitor(demetrio,hermelinda).
progenitor(apolinaria,hector).
progenitor(demetrio,hector).
progenitor(hermelinda,gael).

varon(silvestre).
varon(silverio).
varon(demetrio).
varon(edgar).

bisabuela(X,Y) :-madre(X,Z),abuelo(Z,Y).
bisabuela(X,Y) :-madre(X,Z),abuela(Z,Y).
bisabuelo(X,Y) :-padre(X,Z),abuelo(Z,Y).
bisabuelo(X,Y) :-padre(X,Z),abuela(Z,Y).

nieto(X,Y) :- progenitor(Y,Z),progenitor(Z,X),varon(X).

nieto(X,Y) :- abuelo(Y,X),varon(X).
nieto(X,Y) :- abuela(Y,X),varon(X).
bisnieto(X,Y) :- bisabuelo(Y,X),varon(X).
bisnieto(X,Y) :- bisabuela(Y,X),varon(X).
bisnieta(X,Y) :- bisabuelo(Y,X),mujer(X).
bisnieta(X,Y) :- bisabuela(Y,X),mujer(X).

tio(X,Y) :- hermanos(X,Z),antepasado(Z,Y),varon(X).

UNIVERSIDAD NACIONAL DE HUANCAVELICA
(Creada por Ley N 25265)
FACULTAD DE INGENIERA ELECTRNICA - SISTEMAS
ESCUELA ACADMICO PROFESIONAL DE SISTEMAS


Inteligencia Artificial Pgina 3

varon(hector).
varon(gael).

mujer(victoria).
mujer(estela).
mujer(apolinaria).
mujer(hermelinda).

padre(X,Y) :- progenitor(X,Y),varon(X).
madre(X,Y) :- progenitor(X,Y),mujer(X).
hijo(X,Y) :- progenitor(Y,X),varon(X).
hija(X,Y) :- progenitor(Y,X),mujer(X).

abuelo(X,Y) :- padre(X,Z),progenitor(Z,Y).
abuela(X,Y) :- madre(X,Z),progenitor(Z,Y).

tio(X,Y) :- primohermano(X,Z),antepasado(Z,Y),varon(X).
tia(X,Y) :- hermanos(X,Z),antepasado(Z,Y),mujer(X).
tia(X,Y) :- primahermana(X,Z),antepasado(Z,Y),mujer(X).
tioabuelo(X,Y) :-hermanos(X,Z),abuelo(Z,Y),varon(X).
tiaabuela(X,Y) :-hermanos(X,Z),abuela(Z,Y),mujer(X).

sobrino(X,Y) :- tio(Y,X),varon(X).
sobrino(X,Y) :- tia(Y,X),varon(X).
sobrina(X,Y) :- tio(Y,X),mujer(X).
sobrina(X,Y) :- tia(Y,X),mujer(X).