Está en la página 1de 8

EJEMPLO GUIADO

1. Se tiene la siguiente relación de parentesco:

2. Representación de las relaciones mediante hechos.

hombre(javier).

hombre(pedro).

hombre(jorge).

hombre(alfonso).

hombre(juan).

mujer(maria).

mujer(carmen).

mujer(teresa).

mujer(alicia).

progenitor(javier,pedro).

progenitor(javier,teresa).

progenitor(maria,pedro).

?- % d:/aprolog/190617/ejemplo01 compiled 0. tio(X.X). descendiente(X. progenitor(pedro. progenitor(carmen.alicia).Y). mujer(X).progenitor(Y.Y) :.Y).progenitor(Y.Z). progenitor(Z.Z). Probando el primer predicado padre(X. Representación de algunos Predicados. 3.alicia).Y). hijo(X.progenitor(maria. hermano(X.progenitor(Y.Y).X). progenitor(teresa. progenitor(pedro.Y):.Y)..Y) :. descendiente(X.Y).Y). 5. 6. progenitor(jorge.padre(X. . X = javier.progenitor(Z.progenitor(Z.alfonso).Y).progenitor(Z.progenitor(X. Representación de otras relaciones de parentesco. madre(X.juan). hombre(X).Y):.teresa). padre(X.Z). descendiente(X. hermano(Z. hombre(X). Otros predicados: hijo(X.Y).alfonso). abuelo(X.progenitor(X. tio(X. descendiente(X.Y):. 28 clauses 1 ?.X).juan).Y).X).00 sec. padre(X. hermano(X. abuelo(X.Y):.Y).. 4. progenitor(carmen.Y).Y):.Y):.

Y = alfonso . Probando el segundo predicado madre(X. Probando el Otro predicado hijo(X. ?.Y). X = jorge.Y).Y). false. Y = teresa .madre(X. 8. X = carmen. X = maria. X = pedro.Y). Y = javier . Y = alicia . X = teresa. Y = alfonso . Y = juan . ?. X = pedro. Y = pedro .Y = pedro . X = carmen. 7. X = javier. Y = teresa . X = maria. Y = alicia. . X = pedro.hijo(X. Y = juan .

false.Y).Y). X = juan. Y = pedro . 10. X = juan. Y = pedro . X = teresa. Probando el Otro predicado hermano(X. X = alfonso. Y = alfonso .Y). ?. Y = maria . X = alfonso. Y = carmen .hermano(X. false. Y = carmen . Probando el Otro predicado abuelo(X. X = pedro. . Y = juan .Y).abuelo(X. X = javier. Y = pedro . Y = alicia . X = javier. ?. X = javier. 9. Y = teresa . X = Y.X = pedro.

X = Y. Y = alfonso . X = alfonso. Y = juan . Y = alicia . Probando el Otro predicado tio(X. X = Y. Y = alfonso . Y = teresa .tio(X.Y). X = Y. Y = juan . X = Y. X = Y. X = pedro. X = teresa. Y = alicia. Y = pedro . X = Y. X = juan. . Y = juan . Y = alfonso . X = Y. ?. X = pedro. Y = pedro . Y = teresa . 11.Y = pedro .Y). X = Y. Y = alfonso . X = alfonso. X = Y. Y = juan . X = juan. Y = teresa . Y = alfonso .

Probando el Otro predicado descendiente(X. Y = alicia . 12.descendiente(X. X = teresa.Y). Y = alicia . Y = juan . X = teresa. Y = alicia. X = pedro. ?. X = pedro. X = pedro.X = teresa. X = teresa. Y = javier . Y = juan . X = pedro. . Y = alfonso .Y). Y = juan . Y = alfonso . X = teresa. X = teresa. Y = alfonso . X = pedro. Y = alicia . X = pedro. Y = juan .

Y = teresa . X = alfonso. X = alicia. Y = carmen . Y = pedro . X = alicia. X = juan. Y = maria . . Y = javier . Y = maria . Y = javier . X = teresa. Y = carmen . X = alfonso.X = teresa. Y = pedro . X = alfonso. Y = javier . X = pedro. Y = jorge . X = alfonso. X = juan. X = alicia. X = juan. Y = javier . Y = maria .

X = juan. . false. X = alicia. Y = maria . Y = maria . .

Intereses relacionados