P1 5601

2
PROLOG APLICACIÓN ARBOL GENEALOGICO

DATOS
Matricula – 201510544
Nombre del Alumno – López
Morales Juan Carlos.
Nombre Del Profesor –
Hector Saldaña Aldana
Carrera – Ingenieria en
sistemas computacionales.
Periodo – 2020-2.
Materia – Inteligencia
Artificial.

Tema – Aplicación de redes

semánticas y razonamiento
monótono. Árbol genealógico
con PROLOG.

Un árbol genealógico es una representación gráfica en la que muestras tus antepasados-lista los antepasados y
los descendientes de un individuo en una forma organizada y sistemática, sea en forma de árbol o tabla. Puede
ser ascendente, exponiendo los antepasados o ancestros de una persona, o descendente, exponiendo todos los
descendientes.
Para realizar un árbol genealógico es necesario, primero, haber hecho una investigación genealógica
o genealogía del individuo. De ahí que en un árbol genealógico se muestra la descendencia de los antepasados
hasta una determinada generación o individuo.
Dependiendo de la finalidad o uso que quiera dárselo al árbol genealógico, este puede referirse solo a
la filiación y sucesión masculina, llamada también línea de sangre o linaje, o a la filiación y sucesión
femenina, llamada también línea de ombligo.
El árbol genealógico no se aplica solamente en seres humanos, sino que también se utiliza para mostrar
Introduccion
el pedigrís o ascendencia de un animal, representar la evolución de una lengua o idioma, seguir la trayectoria e
un partido político, una disciplina artística o un arte marcial.
Éste árbol, se encarga fundamentalmente de exponer gráficamente la descendencia o ascendencia de un
individuo demostrando así el completo módulo de vida de un ser humano, pero también, el árbol genealógico
se encarga de demostrar de la misma manera, la escala de enfermedades que han afectado a nuestra sociedad en
estos últimos años.

Practica 1 Herramientas De Seguridad | Inteligencia Artificial

2

P1 5601

Las consultas de Prolog se resuelven eligiendo una regla, evaluándola recursivamente usando búsqueda en
profundidad, luego eligiendo la siguiente regla y repitiendo el proceso. Sin embargo, las reglas particulares
con las que está comenzando en realidad resultan en un búsqueda de amplitud del árbol genealógico, que,
como se ha señalado, no lo hace dar salida que coincida con la línea de sucesión real. En su lugar, desea
hacer un recorrido primero en profundidad del árbol genealógico real. Esta versión le da el resultado que está
buscando:

Successor(X, Y) :- son(X, Z), (Y = Z; successor(Z, Y)).

Usando esta regla, Prolog resuelve la consulta successor(X, Y) aproximadamente de la siguiente manera:

 Para cada Z quien es un hijo de X:

o Enlazar Y a Zdando Z como solucion
o Los ; El operador funciona como un OR lógico, así que ahora Y está sin consolidar
y successor/2 Se llama recursivamente para obtener los sucesores que son hijos de Z.

Practica 1 Herramientas De Seguridad | Inteligencia Artificial

2

P1 5601

Declaraciones Famila Paterna Y Materna Incluida

%hombre(X). hombre(Arturo_morales). % OtraFamilia

hombre(Francisco_arturo_morales).
hombre(Macario_lopez). hombre(jonathan_morales).
hombre(carlos_lopez). hombre(alexis_morales).
hombre(juan_carlos_lopez). hombre(alan_arturo_morales).
hombre(rafael_lopez). hombre(Enrique_delgado).
hombre(miguel_angel). hombre(Oscar_delgado).
hombre(julio_cesar). hombre(Arturo_delgado).
hombre(jose_aragon). hombre(Enrique_delgado).
hombre(jesus_aragon). hombre(Eusebio_sanches).
hombre(rene_lopez). hombre(Daniel_rojas).
hombre(alan_lopez). hombre(nando_rojas).
hombre(brayan_lopez). hombre(Fernando_Parra).
hombre(brandon_lopez). hombre(fernando_parra).
hombre(Nicolas_velazquez). hombre(Edgar_jimenes).
hombre(eduardo_velazquez). hombre(edgar_ivan_jimenes).
hombres(juan_carlos_lugo).abuelo

%mujer(X). mujer(Francisca_lugo).
mujer(Arcadia_Aragon). mujer(Maria_Elena_Morales_Lugo).
mujer(Martha_Lopez_Aragon). mujer(araceli_lopez_morales).
mujer(laura_aideth_velazquez_lopez). mujer(Ana_Luisa_Morales_Lugo).
mujer(guadalupe_velazquez_lopez). mujer(lizbeth_rojas_morales).
mujer(Consuelo_nava). mujer(Ana_fatima_rojas_morales).
mujer(Sofia_castillo). mujer(Guadalupe_Morales_lugo).
mujer(joseline_lopez_castillo). mujer(laura_irene_sanches_morales).
mujer(florencia_flores). mujer(selene_sanches_morales).
mujer(rosario_aragon_flores). mujer(elizabeth_sanches_morales).
mujer(griselda_aragon_flores). mujer(karla_sanches_morales).

Practica 1 Herramientas De Seguridad | Inteligencia Artificial

2

P1 5601

mujer(Susana_Morales_Lugo). mujer(ana_delgado_morales).
mujer(avigail_jimenes_morales). mujer(claudia_tavera).
mujer(nelly_jimenes_morales). mujer(Leonor_Morales_Lugo).
mujer(Josefina_Morales_Lugo).

%------------------------------------------------- mama(Francisca_lugo,Josefina_Morales_Lugo).
%mama(X,Y). mama(Francisca_lugo,Leonor_Morales_Lugo).
mama(Francisca_lugo,Arturo_morales).
Mama(Arcadia_Aragon,Martha_Lopez_Aragon). mama(Francisca_lugo,juan_carlos_lugo).
mama(Arcadia_Aragon,carlos_lopez).
mama(Arcadia_Aragon,rafael_lopez). mama(Maria_Elena_Morales_Lugo,araceli_lopez_
mama(Arcadia_Aragon,jose_aragon). morales).
mama(Arcadia_Aragon,rene_lopez). mama(Ana_Luisa_Morales_Lugo,lizbeth_rojas_m
mama(Martha_Lopez_Aragon,laura_aideth_velaz orales).
quez_lopez). mama(Ana_Luisa_Morales_Lugo,Ana_fatima_roj
mama(Martha_Lopez_Aragon,guadalupe_velazqu as_morales).
ez_lopez).
mama(Martha_Lopez_Aragon,eduardo_velazquez mama(Guadalupe_Morales_lugo,laura_irene_sanc
). hes_morales).
mama(Guadalupe_Morales_lugo,selene_sanches_
mama(florencia_flores,rosario_aragon_flores). morales).
mama(florencia_flores,griselda_aragon_flores). mama(Guadalupe_Morales_lugo,elizabeth_sanche
mama(florencia_flores,jesus_aragon). s_morales).
mama(Sofia_castillo,joseline_lopez_castillo). mama(Guadalupe_Morales_lugo,karla_sanches_m
mama(Sofia_castillo,alan_lopez). orales).
mama(Sofia_castillo,brayan_lopez).
mama(Sofia_castillo,brandon_lopez). mama(Leonor_Morales_Lugo,fernando_parra).

mama(Francisca_lugo,Maria_Elena_Morales_Lug mama(Susana_Morales_Lugo,avigail_jimenes_mo
o). rales).
mama(Francisca_lugo,Ana_Luisa_Morales_Lugo) mama(Susana_Morales_Lugo,nelly_jimenes_mora
. les).
mama(Francisca_lugo,Guadalupe_Morales_lugo). mama(Susana_Morales_Lugo,edgar_ivan_jimenes
mama(Francisca_lugo,Susana_Morales_Lugo). ).

Practica 1 Herramientas De Seguridad | Inteligencia Artificial

2

P1 5601

mama(Josefina_Morales_Lugo,ana_delgado_mora mama(claudia_tavera,alexis_morales).
les). mama(claudia_tavera,alan_arturo_morales).
mama(claudia_tavera,jonathan_morales).

papa(Arturo_morales,Maria_Elena_Morales_Lugo
%------------------------------------------------- ).
%papa(X,Y). papa(Arturo_morales,Ana_Luisa_Morales_Lugo).
papa(Arturo_morales,Guadalupe_Morales_lugo).
papa(Macario_lopez,carlos_lopez). papa(Arturo_morales,Susana_Morales_Lugo).
papa(Macario_lopez,rafael_lopez). papa(Arturo_morales,Josefina_Morales_Lugo).
papa(Macario_lopez,jose_aragon).
papa(Macario_lopez,rene_lopez). papa(Francisco_arturo_morales,jonathan_morales)
papa(Macario_lopez,Martha_Lopez_Aragon). .
papa(Francisco_arturo_morales,alexis_morales).
papa(carlos_lopez,juan_carlos_lopez). papa(Francisco_arturo_morales,alan_arturo_moral
papa(carlos_lopez,araceli_lopez_morales). es).
papa(rafael_lopez,miguel_angel). papa(Enrique_delgado,Oscar_delgado).
papa(rafael_lopez,julio_cesar). papa(Enrique_delgado,Arturo_delgado).
papa(jose_aragon,jesus_aragon). papa(Enrique_delgado,Enrique_delgado).
papa(jose_aragon,rosario_aragon_flores). papa(Enrique_delgado,ana_delgado_morales).
papa(jose_aragon,griselda_aragon_flores). papa(Eusebio_sanches,laura_irene_sanches_moral
papa(rene_lopez,alan_lopez). es)
papa(rene_lopez,brayan_lopez). papa(Eusebio_sanches,selene_sanches_morales).
papa(rene_lopez,brandon_lopez). papa(Eusebio_sanches,elizabeth_sanches_morales
papa(rene_lopez,joseline_lopez_castillo). ).
papa(Nicolas_velazquez,eduardo_velazquez). papa(Eusebio_sanches,karla_sanches_morales
papa(Nicolas_velazquez,laura_aideth_velazquez_l papa(Daniel_rojas,nando_rojas).
opez). papa(Daniel_rojas,lizbeth_rojas_morales).
papa(Nicolas_velazquez,guadalupe_velazquez_lop papa(Daniel_rojas,Ana_fatima_rojas_morales).
ez). papa(Fernando_Parra,fernando_parra).
papa(Edgar_jimenes,edgar_ivan_jimenes).
papa(Edgar_jimenes,avigail_jimenes_morales).
papa(Arturo_morales,Francisco_arturo_morales). papa(Edgar_jimenes,nelly_jimenes_morales).

Practica 1 Herramientas De Seguridad | Inteligencia Artificial

2

P1 5601

%----------------------------------------------------------
----------

%parejas pareja(Arturo_morales,Francisca_lugo).
------------------------------------------------------------- pareja(Francisco_arturo_morales,).
pareja(Enrique_delgado,Josefina_Morales_Lugo).
pareja(Eusebio_sanches,Guadalupe_Morales_lugo
pareja(Macario_lopez,Arcadia_Aragon). ).
pareja(carlos_lopez,Maria_Elena_Morales_Lugo). pareja(Daniel_rojas,Ana_Luisa_Morales_Lugo).
pareja(rafael_lopez,Consuelo_nava). pareja(Fernando_Parra,Leonor_Morales_Lugo).
pareja(jose_aragon,florencia_flores). pareja(Edgar_jimenes,Susana_Morales_Lugo).
pareja(rene_lopez,Sofia_castillo).
pareja(Nicolas_velazquez,Martha_Lopez_Aragon) %parejas
. -------------------------------------------------------------

%Hermanos. -----------------------------------------------------------------------
hermanos(carlos_lopez,rafael_lopez).
hermanos(carlos_lopez,jose_aragon).
hermanos(carlos_lopez,rene_lopez).
hermanos(carlos_lopez,Martha_Lopez_Aragon).

hermanos(rafael_lopez,jose_aragon).
hermanos(rafael_lopez,rene_lopez).
hermanos(rafael_lopez,Martha_Lopez_Aragon).
hermanos(rafael_lopez,carlos_lopez).

Practica 1 Herramientas De Seguridad | Inteligencia Artificial

2

P1 5601

hermanos(jose_aragon,carlos_lopez).
hermanos(jose_aragon,rafael_lopez).
hermanos(jose_aragon,rene_lopez).
hermanos(jose_aragon,Martha_Lopez_Aragon).
hermanos(rene_lopez,rafael_lopez).
hermanos(rene_lopez,jose_aragon).
hermanos(rene_lopez,carlos_lopez).
hermanos(rene_lopez,Martha_Lopez_Aragon).
hermanos(Martha_Lopez_Aragon,carlos_lopez).
hermanos(Martha_Lopez_Aragon,rafael_lopez).
hermanos(Martha_Lopez_Aragon,jose_aragon).
hermanos(Martha_Lopez_Aragon,Martha_Lopez_Aragon).
hermanos(juan_carlos_lopez,araceli_lopez_morales).
hermanos(araceli_lopez_morales,juan_carlos_lopez).
hermanos(miguel_angel,julio_cesar).
hermanos(julio_cesar,miguel_angel).
hermanos(jesus_aragon,rosario_aragon_flores).
hermanos(jesus_aragon,griselda_aragon_flores).
hermanos(rosario_aragon_flores,jesus_aragon).
hermanos(rosario_aragon_flores,griselda_aragon_flores).
hermanos(griselda_aragon_flores,jesus_aragon).
hermanos(griselda_aragon_flores,rosario_aragon_flores).
hermanos(alan_lopez,brayan_lopez).
hermanos(alan_lopez,brandon_lopez).
hermanos(alan_lopez,joseline_lopez_castillo).
hermanos(brayan_lopez,brandon_lopez).
hermanos(brayan_lopez,alan_lopez).
hermanos(brayan_lopez,joseline_lopez_castillo).
hermanos(brandon_lopez,brayan_lopez).
hermanos(brandon_lopez,alan_lopez).
hermanos(brandon_lopez,joseline_lopez_castillo).
hermanos(joseline_lopez_castillo,alan_lopez).
hermanos(joseline_lopez_castillo,brandon_lopez).
hermanos(joseline_lopez_castillo,brayan_lopez).
hermanos(eduardo_velazquez,laura_aideth_velazquez_lopez).
hermanos(eduardo_velazquez,guadalupe_velazquez_lopez).

Practica 1 Herramientas De Seguridad | Inteligencia Artificial

2

P1 5601

hermanos(laura_aideth_velazquez_lopez,eduardo_velazquez).
hermanos(laura_aideth_velazquez_lopez,guadalupe_velazquez_lopez).
hermanos(guadalupe_velazquez_lopez,eduardo_velazquez).
hermanos(guadalupe_velazquez_lopez,laura_aideth_velazquez_lopez).
hermanos(Francisco_arturo_morales,Maria_Elena_Morales_Lugo).
hermanos(Francisco_arturo_morales,Ana_Luisa_Morales_Lugo).
hermanos(Francisco_arturo_morales,Guadalupe_Morales_lugo).
hermanos(Francisco_arturo_morales,Susana_Morales_Lugo).
hermanos(Francisco_arturo_morales,Josefina_Morales_Lugo).
hermanos(Francisco_arturo_morales,Leonor_Morales_Lugo).
hermanos(Maria_Elena_Morales_Lugo,Francisco_arturo_morales).
hermanos(Maria_Elena_Morales_Lugo,Ana_Luisa_Morales_Lugo).
hermanos(Maria_Elena_Morales_Lugo,Guadalupe_Morales_lugo).
hermanos(Maria_Elena_Morales_Lugo,Susana_Morales_Lugo).
hermanos(Maria_Elena_Morales_Lugo,Leonor_Morales_Lugo).
hermanos(Maria_Elena_Morales_Lugo,Josefina_Morales_Lugo).
hermanos(Ana_Luisa_Morales_Lugo,Francisco_arturo_morales).
hermanos(Ana_Luisa_Morales_Lugo,Guadalupe_Morales_lugo).
hermanos(Ana_Luisa_Morales_Lugo,Susana_Morales_Lugo).
hermanos(Ana_Luisa_Morales_Lugo,Maria_Elena_Morales_Lugo).
hermanos(Ana_Luisa_Morales_Lugo,Leonor_Morales_Lugo).
hermanos(Ana_Luisa_Morales_Lugo,Josefina_Morales_Lugo).
hermanos(Guadalupe_Morales_lugo,Francisco_arturo_morales).
hermanos(Guadalupe_Morales_lugo,Ana_Luisa_Morales_Lugo).
hermanos(Guadalupe_Morales_lugo,Josefina_Morales_Lugo).
hermanos(Guadalupe_Morales_lugo,Susana_Morales_Lugo).
hermanos(Guadalupe_Morales_lugo,Maria_Elena_Morales_Lugo).
hermanos(Guadalupe_Morales_lugo,Leonor_Morales_Lugo).
hermanos(Susana_Morales_Lugo,Francisco_arturo_morales).
hermanos(Susana_Morales_Lugo,Ana_Luisa_Morales_Lugo).
hermanos(Susana_Morales_Lugo,Guadalupe_Morales_lugo).
hermanos(Susana_Morales_Lugo,Maria_Elena_Morales_Lugo).
hermanos(Susana_Morales_Lugo,Leonor_Morales_Lugo).
hermanos(Susana_Morales_Lugo,Josefina_Morales_Lugo).
hermanos(Josefina_Morales_Lugo,Francisco_arturo_morales).
hermanos(Josefina_Morales_Lugo,Ana_Luisa_Morales_Lugo).

Practica 1 Herramientas De Seguridad | Inteligencia Artificial

2

P1 5601

hermanos(Josefina_Morales_Lugo,Guadalupe_Morales_lugo).
hermanos(Josefina_Morales_Lugo,Susana_Morales_Lugo).
hermanos(Josefina_Morales_Lugo,Maria_Elena_Morales_Lugo).
hermanos(Josefina_Morales_Lugo,Leonor_Morales_Lugo).
hermanos(Leonor_Morales_Lugo,Francisco_arturo_morales).
hermanos(Leonor_Morales_Lugo,Ana_Luisa_Morales_Lugo).
hermanos(Leonor_Morales_Lugo,Guadalupe_Morales_lugo).
hermanos(Leonor_Morales_Lugo,Susana_Morales_Lugo).
hermanos(Leonor_Morales_Lugo,Maria_Elena_Morales_Lugo).
hermanos(Leonor_Morales_Lugo,Josefina_Morales_Lugo).
hermanos(juan_carlos_lugo,Francisco_arturo_morales).
hermanos(juan_carlos_lugo,Ana_Luisa_Morales_Lugo).
hermanos(juan_carlos_lugo,Guadalupe_Morales_lugo).
hermanos(juan_carlos_lugo,Susana_Morales_Lugo).
hermanos(juan_carlos_lugo,Maria_Elena_Morales_Lugo).
hermanos(juan_carlos_lugo,Josefina_Morales_Lugo).
hermanos(jonathan_morales,alexis_morales).
hermanos(jonathan_morales,alan_arturo_morales).
hermanos(alexis_morales,jonathan_morales).
hermanos(alexis_morales,alan_arturo_morales).
hermanos(alan_arturo_morales,jonathan_morales).
hermanos(alan_arturo_morales,alexis_morales).
hermanos(Oscar_delgado,Arturo_delgado).
hermanos(Oscar_delgado,Enrique_delgado).
hermanos(Oscar_delgado,ana_delgado_morales).
hermanos(Arturo_delgado,Enrique_delgado).
hermanos(Arturo_delgado,ana_delgado_morales).
hermanos(Arturo_delgado,Oscar_delgado).
hermanos(Enrique_delgado,Arturo_delgado).
hermanos(Enrique_delgado,Oscar_delgado).
hermanos(Enrique_delgado,ana_delgado_morales).
hermanos(ana_delgado_morales,Arturo_delgado).
hermanos(ana_delgado_morales,Oscar_delgado).
hermanos(ana_delgado_morales,Enrique_delgado).
hermanos(nando_rojas,lizbeth_rojas_morales).
hermanos(nando_rojas,Ana_fatima_rojas_morales).

Practica 1 Herramientas De Seguridad | Inteligencia Artificial

2

P1 5601

hermanos(lizbeth_rojas_morales,nando_rojas).
hermanos(lizbeth_rojas_morales,Ana_fatima_rojas_morales).
hermanos(laura_irene_sanches_morales,selene_sanches_morales).
hermanos(laura_irene_sanches_morales,elizabeth_sanches_morales).
hermanos(laura_irene_sanches_morales,karla_sanches_morales).
hermanos(selene_sanches_morales,laura_irene_sanches_morales).
hermanos(selene_sanches_morales,elizabeth_sanches_morales).
hermanos(selene_sanches_morales,karla_sanches_morales).
hermanos(elizabeth_sanches_morales,laura_irene_sanches_morales).
hermanos(elizabeth_sanches_morales,selene_sanches_morales).
hermanos(elizabeth_sanches_morales,karla_sanches_morales).
hermanos(karla_sanches_morales,laura_irene_sanches_morales).
hermanos(karla_sanches_morales,elizabeth_sanches_morales).
hermanos(karla_sanches_morales,selene_sanches_morales).
hermanos(avigail_jimenes_morales,nelly_jimenes_morales).
hermanos(avigail_jimenes_morales,edgar_ivan_jimenes).
hermanos(edgar_ivan_jimenes,avigail_jimenes_morales).
hermanos(edgar_ivan_jimenes,nelly_jimenes_morales).
hermanos(avigail_jimenes_morales,edgar_ivan_jimenes).
hermanos(avigail_jimenes_morales,nelly_jimenes_morales).

%Hermanos----------------------------------------------------------------------------------

%Sobrinos.---------------------------------

sobrino(carlos_lopez,miguel_angel).
sobrino(carlos_lopez,julio_cesar).
sobrino(carlos_lopez,jesus_aragon).
sobrino(carlos_lopez,alan_lopez).
sobrino(carlos_lopez,brayan_lopez).
sobrino(carlos_lopez,brandon_lopez).
sobrino(carlos_lopez,eduardo_velazquez).
sobrino(carlos_lopez,jonathan_morales).

Practica 1 Herramientas De Seguridad | Inteligencia Artificial

2

P1 5601

sobrino(carlos_lopez,alexis_morales).
sobrino(carlos_lopez,alan_arturo_morales).
sobrino(carlos_lopez,Oscar_delgado).
sobrino(carlos_lopez,Arturo_delgado).
sobrino(carlos_lopez,Enrique_delgado).
sobrino(carlos_lopez,nando_rojas).
sobrino(carlos_lopez,fernando_parra).
sobrino(carlos_lopez,edgar_ivan_jimenes).
sobrino(rafael_lopez,juan_carlos_lopez).
sobrino(rafael_lopez,jesus_aragon).
sobrino(rafael_lopez,alan_lopez).
sobrino(rafael_lopez,brayan_lopez).
sobrino(rafael_lopez,brandon_lopez).
sobrino(rafael_lopez,eduardo_velazquez).
sobrino(jose_aragon,juan_carlos_lopez).
sobrino(jose_aragon,alan_lopez).
sobrino(jose_aragon,brayan_lopez).
sobrino(jose_aragonz,brandon_lopez).
sobrino(jose_aragon,eduardo_velazquez).
sobrino(jose_aragonz,julio_cesar).
sobrino(jose_aragon,miguel_angel).
sobrino(rene_lopez,juan_carlos_lopez).
sobrino(rene_lopez,miguel_angel).
sobrino(rene_lopez,julio_cesar).
sobrino(rene_lopez,jesus_aragon).
sobrino(rene_lopez,eduardo_velazquez)
sobrino(Nicolas_velazquez,juan_carlos_lopez).
sobrino(Nicolas_velazquez,miguel_angel).
sobrino(Nicolas_velazquez,julio_cesar).
sobrino(Nicolas_velazquez,jesus_aragon).
sobrino(Nicolas_velazquez,alan_lopez).
sobrino(Nicolas_velazquez,brayan_lopez).
sobrino(Nicolas_velazquez,brandon_lopez).
sobrino(Francisco_arturo_morales,Oscar_delgado).
sobrino(Francisco_arturo_morales,Arturo_delgado).
sobrino(Francisco_arturo_morales,Enrique_delgado).

Practica 1 Herramientas De Seguridad | Inteligencia Artificial

2

P1 5601

sobrino(Francisco_arturo_morales,nando_rojas).
sobrino(Francisco_arturo_morales,fernando_parra).
sobrino(Francisco_arturo_morales,edgar_ivan_jimene).
sobrino(Francisco_arturo_morales,juan_carlos_lopez).
sobrino(juan_carlos_lugo,jonathan_morales).
sobrino(juan_carlos_lugo,alexis_morales).
sobrino(juan_carlos_lugo,alan_arturo_morales).
sobrino(juan_carlos_lugo,Oscar_delgado).
sobrino(juan_carlos_lugo,Arturo_delgado).
sobrino(juan_carlos_lugo,Enrique_delgado).
sobrino(juan_carlos_lugo,nando_rojas).
sobrino(juan_carlos_lugo,fernando_parra).
sobrino(juan_carlos_lugo,edgar_ivan_jimene).
sobrino(juan_carlos_lugo,juan_carlos_lopez).
sobrino(Enrique_delgado,jonathan_morales).
sobrino(Enrique_delgado,alexis_morales).
sobrino(Enrique_delgado,alan_arturo_morales).
sobrino(Enrique_delgado,nando_rojas).
sobrino(Enrique_delgado,fernando_parra).
sobrino(Enrique_delgado,edgar_ivan_jimene).
sobrino(Enrique_delgado,juan_carlos_lopez).
sobrino(Eusebio_sanches,jonathan_morales).
sobrino(Eusebio_sanches,alexis_morales).
sobrino(Eusebio_sanches,alan_arturo_morales).
sobrino(Eusebio_sanches,Oscar_delgado).
sobrino(Eusebio_sancheso,Arturo_delgado).
sobrino(Eusebio_sanches,Enrique_delgado).
sobrino(Eusebio_sanches,nando_rojas).
sobrino(Eusebio_sanches,fernando_parra).
sobrino(Eusebio_sanches,edgar_ivan_jimene).
sobrino(Eusebio_sanches,juan_carlos_lopez).
sobrino(Daniel_rojas,jonathan_morales).
sobrino(Daniel_rojas,alexis_morales).
sobrino(Daniel_rojas,alan_arturo_morales).
sobrino(Daniel_rojas,Oscar_delgado).
sobrino(Daniel_rojas,Arturo_delgado).

Practica 1 Herramientas De Seguridad | Inteligencia Artificial

2

P1 5601

sobrino(Daniel_rojas,Enrique_delgado).
sobrino(Daniel_rojas,fernando_parra).
sobrino(Daniel_rojas,edgar_ivan_jimene).
sobrino(Daniel_rojas,juan_carlos_lopez)

sobrino(Edgar_jimenes,jonathan_morales).
sobrino(Edgar_jimenes,alexis_morales).
sobrino(Edgar_jimenes,alan_arturo_morales).
sobrino(Edgar_jimenes,Oscar_delgado).
sobrino(Edgar_jimenes,Arturo_delgado).
sobrino(Edgar_jimenes,Enrique_delgado).
sobrino(Edgar_jimenes,fernando_parra).
sobrino(Edgar_jimenes,juan_carlos_lopez).

Practica 1 Herramientas De Seguridad | Inteligencia Artificial

2

P1 5601

Reglas

%abuelo. X es abuela de Y
%abuelo(X,Y): X es abuelo de Y.
abuelo(X,Y):-papa(X,Z),(mama(Z,Y);papa(Z,Y)).

%abuela(X,Y):- X es abuela de Y
abuela(X,Y):-mama(X,Z),(mama(Z,Y);papa(Z,Y)).

%primos(X,Y):- X es hermano de Y.
tios(X,Y):-hermanos(X,Z),(mama(Z,Y);papa(Z,Y)).
%-----------------------------------------

%hijo(X,Y):- X es hjo de Y.
hijo(X,Y):-hombre(X),(papa(Y,X);mama(Y,X)).
%-----------------------------------------

%hija(X,Y):- X es hijo de Y.
hija(X,Y):-mujer(X),(papa(Y,X);mama(Y,X)).

%-----------------------------------------

%hermano(X,Y):-X es hermano de Y.
hermano(X,Y):-papa(Z,X),papa(Z,Y),mama(Z1,Y),mama(Z1,Y),not(X=Y),hombre(X).
%-----------------------------------------

%hermana(X,Y):-X es hermano de Y.
hermana(X,Y):-papa(Z,X),papa(Z,Y),mama(Z1,Y),mama(Z1,Y),not(X=Y),mujer(X).

%-----------------------------------------
%primos(X,Y):-X es el primo de Y.
primo(X,Y):-sobrino(Z,X),(papa(Z,Y);mama(Z,Y)).
prima(X,Y):-sobrina(Z,X),(papa(Z,Y);mama(Z,Y)).

Practica 1 Herramientas De Seguridad | Inteligencia Artificial

2

P1 5601

Capturas

Practica 1 Herramientas De Seguridad | Inteligencia Artificial