IA - genealogico

%baseconocimiento
progenitor(claudio, martin).

progenitor(martin, tomas).
progenitor(martin, danixa).

progenitor(tomas, belen).
progenitor(pilar, belen).
progenitor(tomas, esteban).
progenitor(pilar, esteban).

progenitor(belen , ana).
progenitor(belen, estela).
progenitor(belen, pedro).
progenitor(max, ana).
progenitor(max, estela).
progenitor(max, pedro).
progenitor(esteban, ignacia).

progenitor(pedro, jose).
progenitor(pedro, maria).

progenitor(estela, pilar).

progenitor(fabian, lucia).

%datos_personales
nacimiento(pedro, chillan).      trabajo(pedro, informatico).      estudio(pedro, hispano_americano).
nacimiento(maria, talca).                                          estudio(maria, sagrado_corazon).
nacimiento(jose, santiago).                                        estudio(jose, colegio_aleman).
nacimiento(ignacia, chillan).    trabajo(ignacia, presidenta).     estudio(ignacia, hispano_americano).
nacimiento(pedro, temuco).       trabajo(pedro, enfermero).        estudio(pedro, colegio_san_nicolas).
nacimiento(max, chimbarongo).    trabajo(max, profesor).           estudio(max, escuela_del_saber).
nacimiento(esteban, concepcion). trabajo(esteban, escultor).       estudio(esteban, colegio_san_antonio).
nacimiento(belen, concepcion).   trabajo(belen, contrabajista).    estudio(belen, escuela_del_legado).
nacimiento(estela, santiago).                                      estudio(estela, escuela_militar).
nacimiento(ana, chillan).                                          estudio(ana, gotitas_del_saber).
nacimiento(pilar, chimbarongo).  trabajo(pilar, yoga).             estudio(pilar, buenaventura).
nacimiento(danixa, temuco).      trabajo(danixa, karate).          estudio(danixa, liceo_de_mujeres).
nacimiento(martin, iquique).     trabajo(martin, informatico).     estudio(martin, colegio_perfecto).

%mujeres
mujer(belen). mujer(ana).
mujer(lucia). mujer(pilar).
mujer(estela). mujer(ignacia).
mujer(danixa). mujer(estela).
mujer(maria).
%hombres
hombre(tomas). hombre(esteban).
hombre(pedro). hombre(jose).
hombre(claudio). hombre(martin).
hombre(max). hombre(fabian).

%arbolgenealogico
madre(X,Y) :- progenitor(X,Y),mujer(X).
padre(X,Y) :- progenitor(X,Y),hombre(X).
hermanos(X,Y) :- progenitor(Z,X),progenitor(Z,Y),not(X=Y).
hermana(X,Y) :- hermanos(X,Y),mujer(X).
hermano(X,Y) :- hermanos(X,Y),hombre(X).
conyuge(X,Y) :- progenitor(X,Z),progenitor(Y,Z),not(X=Y).
abuelos(X,Y) :- progenitor(X,Z),progenitor(Z,Y),not(X=Y).
abuelo(X,Y) :- abuelos(X,Y),hombre(X).
abuela(X,Y) :- abuelos(X,Y),mujer(X).
bisabuelos(X,Y) :- progenitor(X,Z),abuelos(Z,Y),not(X=Y).
bisabuelo(X,Y) :- bisabuelos(X,Y),hombre(X).
bisabuela(X,Y) :- bisabuelos(X,Y),mujer(Y).
tatarabuelos(X,Y) :- progenitor(X,Z),bisabuelos(Z,Y),not(X=Y).
tatarabuelo(X,Y) :- tatarabuelos(X,Y),hombre(X).
tatarabuela(X,Y) :- tatarabuelos(X,Y),mujer(X).
tios(X,Y) :- hermanos(X,Z),progenitor(Z,Y),not(X=Y).
tio(X,Y) :- tios(X,Y),hombre(X).
tia(X,Y) :- tios(X,Y),mujer(X).
cunados(X,Y) :- conyuge(X,Z),hermanos(Z,Y),not(X=Y).
cunado(X,Y) :- cunados(X,Y),hombre(X).
cunada(X,Y) :- cunados(X,Y),mujer(X).
suegros(X,Y) :- progenitor(X,Z),conyuge(Z,Y),not(X=Y).
suegro(X,Y) :- suegros(X,Y),hombre(X).
suegra(X,Y) :- suegros(X,Y),mujer(X).
nietos(X,Y) :- abuelos(Y,X),not(X=Y).
nieto(X,Y) :- nietos(X,Y),hombre(X).
nieta(X,Y) :- nietos(X,Y),mujer(X).
yernonuera(X,Y) :- suegros(Y,X),not(X=Y).
yerno(X,Y) :- yernonuera(X,Y),hombre(X).
nuera(X,Y) :- yernonuera(X,Y),mujer(X).
antepasado(X,Y) :- progenitor(X,Y).
antepasado(X,Y) :- progenitor(X,Z),antepasado(Z,Y).

%amor
ama(pedro, paz).
ama(jose, guerra).
ama(pilar, pilar).
ama(pilar, tomas).
ama(belen, max).
ama(danixa, tomas).
ama(pilar, jose).
ama(lucia,tomas).
ama(lucia,jose).
ama(estela, fabian).

%reglasamor
ama_hombres_ama_paz(X,Y) :- ama(Y,paz),hombre(Y).
ama_a_los_que_ame(X,Y) :- ama(X,Z),ama(Y,Z).
la_madre_ama_al_padre_de(X,Y) :- madre(Z,X),padre(W,Y),ama(Z,W).
se_ama(X) :- ama(X,X).
ama_al_hermano_de(X,Y) :- ama(X,Z),hermano(Z,Y).