Mardoqueo

Francisca

Jos

Herla

Eva Rene

Adolfo EDRA

Francisc a

Edgar

Sandra Rodrigo

Amapola Bernabe

Mara

Natali a

Adolfo

Eslie

Lourde s Marvi n

Edgar Soany Cristia n Danie l Wilmar

Elizabeth Diego Valentina

hombre('Mardoqueo'). hombre('Adolfo'). hombre('Adolfo'). hombre('Jose'). hombre('Edgar'). hombre('Edgar'). hombre('Rene'). hombre('Rodrigo'). hombre('Marvin'). hombre('Diego'). hombre('Cristian'). hombre('Daniel'). hombre('Wilmar'). hombre('Bernabe'). mujer('Francisca'). mujer('Eva'). mujer('Francisca'). mujer('Edra'). mujer('Maria'). mujer('Natali'). mujer('Eslie'). mujer('Lourdes').

mujer('Soany'). mujer('Valentina'). mujer('Elizabeth'). mujer('Sandra'). mujer('Amapola').

padre('Carlos','Juan'). padre('Carlos','Carla'). padre('Maria','Juan'). padre('Maria','Carla'). padre('Juan','Pablo'). padre('Juan','Mateo'). padre('Paula','Pablo'). padre('Paula','Mateo'). padre('Pedro','Andres'). padre('Carla','Andres'). padre('Andres','Edwin'). padre('Lorena','Edwin'). esposos('Maria','Carlos'). esposos('Juan','Paula'). esposos('Pedro','Carla'). esposos('Andres','Lorena'). esposos('Carlos','Maria'). esposos('Paula','Juan'). esposos('Carla','Pedro'). esposos('Lorena','Andres').

diferente(X,Y):- X \== Y. hijo(A,B):-padre(B,A),hombre(A). hija(A,B):-padre(B,A),mujer(A). nieto(A,B):-padre(B,C),padre(C,A),hombre(A).%solo es nieto hombre hermano(A,B):-padre(C,A),padre(C,B),diferente(A,B). primo(A,B):-padre(C,A),padre(D,B),hermano(C,D),diferente(D,C). tio(A,B):-padre(C,B),hermano(C,A),hombre(A). abuelo(A,B):-nieto(B,A). cuado(A,B):-esposos(B,C),hermano(A,C). tia(A,B):-padre(C,B),hermano(C,A),mujer(A). sobrino(A,B):-hijo(A,C),hermano(C,B),hombre(A). sobrina(A,B):-hija(A,C),hermano(C,B),mujer(A). suegro(A,B):-hijo(C,A);hija(C,A),esposos(C,B).