Las reglas sacan verdades nuevas a partir de otras. Se escriben con :-, que se lee «es verdad si», y las condiciones se separan con comas, que se leen «y».
abuelo(X, Z) :-
padre(X, Y),
padre(Y, Z).Se lee: «X es abuelo de Z si X es padre de alguien Y, y ese Y es padre de Z». La variable Y es el eslabón que conecta las dos condiciones.
Para el reto
X \= Y quiere decir «X y Y son distintos». Sin esa condición, ¡Prolog diría que Sofía es hermana de sí misma!
Para pensar
- ¿Qué fue fácil?
- ¿Qué fue difícil?
- ¿Otro paradigma lo habría resuelto mejor? ¿Cuál y por qué?