Practica de Laboratorio

Alumno: Yauricasa Apumayta junior.

Asignatura: Ingeniera del conocimiento.

Ejercicio 1:
Cdigo:
es_varon(bart).
es_varon(homero).
es_varon(herb).
es_varon(clancy).
es_varon(abraham).
es_mujer(mona).
es_mujer(liza).
es_mujer(maggie).
es_mujer(ling).
es_mujer(marge).
es_mujer(patty).
es_mujer(selma).
es_mujer(jackeline).
es_hijo(homero,abraham).
es_hijo(homero,mona).
es_hijo(herb,abrham).
es_hijo(herb,mona).
es_hijo(bart,homero).
es_hijo(bart,marge).
es_hija(liza,homero).
es_hija(liza,marge).
es_hija(maggie,homero).
es_hija(maggie,marge).
es_hija(marge,clancy).
es_hija(marge,jackeline).
es_hija(patty,jackeline).
es_hija(patty,clancy).
es_hija(selma,jackeline).
es_hija(selma,clancy).
es_hija(ling,selma).
son_hermanos(X,Y):-es_hijo(X,P),es_hijo(Y,P).
son_hermanos(X,Y):-es_hijo(X,P),es_hija(Y,P).
son_hermanos(X,Y):-es_hija(X,P),es_hijo(Y,P).
son_hermanas_de_madre(X,Y):es_mujer(X),es_mujer(Y),es_mujer(M),es_hija(X,M),es_hija(Y,M).
son_hermanas(X,Y):-es_hija(X,P),es_hija(Y,P).

es_mama(M,H):-es_mujer(M),es_hija(H,M).
es_mama(M,H):-es_mujer(M),es_hijo(H,M).
es_tio(T,S):-es_varon(T),son_hermanos(T,P),es_hijo(S,P).
es_tio(T,S):-es_varon(T),son_hermanos(T,P),es_hija(S,P).
es_tio(T,S):-es_varon(T),son_hermanas(T,P),es_hijo(S,P).
es_tio(T,S):-es_varon(T),son_hermanas(T,P),es_hija(S,P).
es_tia(T,S):-es_mujer(T),son_hermanas(T,P),es_hijo(S,P).
es_tia(T,S):-es_mujer(T),son_hermanas(T,P),es_hija(S,P).
es_tia(T,S):-es_mujer(T),son_hermanos(T,P),es_hija(S,P).
es_tia(T,S):-es_mujer(T),son_hermanos(T,P),es_hijo(S,P).
son_padres(P,M,H):-es_hija(H,P),es_hija(H,M).
son_padres(P,M,H):-es_hijo(H,P),es_hijo(H,M).
son_primos(PR1,PR2):-es_hijo(PR2,P2),es_hijo(PR1,P1),son_hermanos(P1,P2).
son_primos(PR1,PR2):-es_hijo(PR2,P2),es_hija(PR1,P1),son_hermanos(P1,P2).
son_primos(PR1,PR2):-es_hija(PR2,P2),es_hijo(PR1,P1),son_hermanos(P1,P2).
son_primos(PR1,PR2):-es_hijo(PR2,P2),es_hijo(PR1,P1),son_hermanas(P1,P2).
son_primos(PR1,PR2):-es_hijo(PR2,P2),es_hija(PR1,P1),son_hermanas(P1,P2).
son_primos(PR1,PR2):-es_hija(PR2,P2),es_hijo(PR1,P1),son_hermanas(P1,P2).
son_primas(PR1,PR2):-es_hija(PR2,P2),es_hija(PR1,P1),son_hermanos(P1,P2).
son_primas(PR1,PR2):-es_hija(PR2,P2),es_hija(PR1,P1),son_hermanas(P1,P2).
es_suegra(SU,Y):-es_mujer(SU),es_mama(SU,H),es_mama(H,N),es_hija(N,Y).
es_suegra(SU,Y):-es_mujer(SU),es_mama(SU,H),es_mama(H,N),es_hijo(N,Y).
es_abuela(AB):-es_mujer(X),es_hijo(P,AB),es_hijo(N,P).
es_abuela(AB):-es_mujer(X),es_hijo(P,AB),es_hija(N,P).
es_abuela(AB):-es_mujer(X),es_hija(P,AB),es_hijo(N,P).
es_abuela(AB):-es_mujer(X),es_hija(P,AB),es_hija(N,P).
es_abuela(AB,NI):-es_mujer(AB),es_hijo(NI,HI),es_hijo(AB,HI).
es_abuela(AB,NI):-es_mujer(AB),es_hija(HI,NI),es_hijo(AB,HI).
es_abuela(AB,NI):-es_mujer(AB),es_hijo(NI,HI),es_hija(AB,HI).
es_abuela(AB,NI):-es_mujer(AB),es_hija(HI,NI),es_hija(AB,HI).
es_cunada(X,Y):-es_mujer(X),es_hijo(H,Y),es_tia(X,H).
es_cunada(X,Y):-es_mujer(X),es_hija(H,Y),es_tia(X,H).
es_cunada(X,Y):-es_mujer(X),es_hija(H,X),es_tio(Y,H).
es_cunada(X,Y):-es_mujer(X),es_hijo(H,X),es_tia(Y,H).
Preguntas:

Homer es hijo de Nona?

Maggie es hija de Jaqueline?

Bart y Liza son hermanos (en general varn o mujer) de padre y

madre?

Bart es mujer?

Maggie y Ling son hermanas por parte de la madre?

Liza es abuela?

Jaqueline es suegra de Homer?

Ejercicio 2:
Codigo:
person(kelly).
person(judy).
person(ellen).
person(mark).
car(lemon).
car(hot_rod).
likes(kelly,hot_rod).
likes(judy,pizza).
likes(ellen,tennis).
likes(mark,tennis).
for_sale(pizza).
for_sale(lemon).
for_sale(hot_rod).
can_buy(X,Y):-person(X),car(Y),likes(X,Y),for_sale(Y).

Identificacin:
a) Predicados
person.
car.
likes.
for_sale.
b) Hechos
person(kelly).
person(judy).
person(ellen).

person(mark).
car(lemon).
car(hot_rod).
likes(kelly,hot_rod).
likes(judy,pizza).
likes(ellen,tennis).
likes(mark,tennis).
for_sale(pizza).
for_sale(lemon).
for_sale(hot_rod).
c) Reglas
can_buy(X,Y):-person(X),car(Y),likes(X,Y),for_sale(Y).
d) Objetivos
can_buy(X,Y) = Si la persona X puede comprar Y.
e) Respuesta de los siguientes Objetivos
can_buy(kelly,hot_rod)

can_buy(kelly,X)

can_buy(kelly,X)

can_buy(kelly,pizza)

Ejercicio 3:
Cdigo:
es_hombre(terach).
es_hombre(abraham).
es_hombre(nachor).
es_hombre(haran).
es_hombre(isaac).
es_hombre(lot).
es_mujer(sarah).
es_mujer(milcah).
es_mujer(yiscah).
es_padre(terach,abraham).
es_padre(terach,nachor).
es_padre(terach,haran).
es_padre(abraham,isaac).
es_padre(haran,lot).
es_padre(haran,milcah).
es_padre(haran,yiscah).

es_madre(sarah,isaac).
es_hijo_padre(X,Y):-es_hombre(X),es_hombre(Y),es_padre(Y,X).
es_hija_padre(X,Y):-es_mujer(X),es_hombre(Y),es_padre(Y,X).
es_hijo_madre(X,Y):-es_hombre(X),es_mujer(Y),es_madre(Y,X).
es_hija_madre(X,Y):-es_mujer(M),es_mujer(Y),es_madre(Y,X).
es_madre_hijo(M,H):-es_mujer(M),es_hombre(H),es_madre(M,H).
es_madre_hija(M,H):-es_mujer(M),es_mujer(H),es_madre(M,H).
Desarrollo:
a) Predicados
Es_hombre.
Es_mujer.
Es_padre.
Es_madre.
b) Hechos
es_hombre(terach).
es_hombre(abraham).
es_hombre(nachor).
es_hombre(haran).
es_hombre(isaac).
es_hombre(lot).
es_mujer(sarah).
es_mujer(milcah).
es_mujer(yiscah).
es_padre(terach,abraham).
es_padre(terach,nachor).
es_padre(terach,haran).
es_padre(abraham,isaac).
es_padre(haran,lot).
es_padre(haran,milcah).
es_padre(haran,yiscah).
es_madre(sarah,isaac).
c) Reglas
es_hijo_padre(X,Y):-es_hombre(X),es_hombre(Y),es_padre(Y,X).
es_hijo_madre(X,Y):-es_hombre(X),es_mujer(Y),es_madre(Y,X).
es_madre_hijo(X,Y):-es_mujer(X),es_hombre(Y),es_madre(X,Y).
d) Objetivos
es_hijo_padre(X,Y) = Si la persona X es hombre y es hijo de la
persona Y y
que este sea hombre.
es_hijo_madre(X,Y) = Si la persona X es hombre y es hijo de la
persona Y y
que este sea mujer.
es_madre_hijo(X,Y) = Si la persona X es mujer y es madre de la
persona Y y

 que este sea hombre.

e) Respuesta de los siguientes Objetivos
es_hombre(abraham)

es_padre(Abraham,isaac)

es_madre_hijo(Sarah,lot)