Solución Práctica 1 /* familia.pl */ /* Mujer(X) y Hombre(X), establece el género */ mujer(ana). mujer(elena). mujer(lourdes). mujer(maria). mujer(carmen).

Presentación del tema: "Solución Práctica 1 /* familia.pl */ /* Mujer(X) y Hombre(X), establece el género */ mujer(ana). mujer(elena). mujer(lourdes). mujer(maria). mujer(carmen)."— Transcripción de la presentación:

1 Solución Práctica 1 /* familia.pl */ /* Mujer(X) y Hombre(X), establece el género */ mujer(ana). mujer(elena). mujer(lourdes). mujer(maria). mujer(carmen). mujer(isabel). hombre(jorge). hombre(fernando). hombre(carlos). hombre(julio). hombre(pedro). hombre(juan).

2 /* es_hijo_de(Hijo, Padre): Hijo es_hijo_de Padre*/ es_hijo_de(ana, lourdes). es_hijo_de(ana, carlos). es_hijo_de(elena, lourdes). es_hijo_de(elena, carlos). es_hijo_de(jorge, lourdes). es_hijo_de(jorge, carlos). es_hijo_de(fernando, lourdes). es_hijo_de(fernando, carlos). es_hijo_de(lourdes, maria). es_hijo_de(lourdes, julio). es_hijo_de(carlos,carmen). es_hijo_de(carlos,pedro). es_hijo_de(isabel, maria). es_hijo_de(isabel,julio). es_hijo_de(juan, carmen). es_hijo_de(juan, pedro).

3 /* es_padre_de (Per1, Per2): Per1 es_padre_de Per2 si Per2 es hijo de Per1 y Per1 es varón */ /* Idem para es_madre_de, pero Per1 debe ser mujer*/ es_padre_de(X,Y):- es_hijo_de(Y,X),hombre(X). es_madre_de(X,Y):- es_hijo_de(Y,X),mujer(X). /* hermana_de(Per1, Per2) Per1 es hermana_de Per2 si Per1 es mujer y tienen los mismos padres*/ hermana_de(X,Y):-mujer(X), es_padre_de(Padre,X),es_padre_de(Padre,Y), Y \= X, es_madre_de(Madre,X),es_madre_de(Madre,Y). hermano_de(X,Y):- hombre(X), es_padre_de(Padre,X),es_padre_de(Padre,Y), Y \= X, es_madre_de(Madre,X),es_madre_de(Madre,Y).

4 /* X es progenitor de Y */ progenitor(X,Y):- es_padre_de(X,Y). progenitor(X,Y):- es_madre_de(X,Y). /* x es abuelo de Y */ abuelo_de(X,Y):- es_padre_de(X,Z), progenitor(Z, Y). /* X es abuela de Y */ abuela_de(X,Y):- es_madre_de(X,Z), progenitor(Z, Y). /* X es tio_de Y */ tio_de(X,Y) :- progenitor(Z, Y), hermano_de(X, Z). tio_de(X,Y) :- progenitor(Z, Y), hermana_de(X, Z).