Ejercicio en clase: Árbol genealógico Definir en Prolog los predicados que definen por extensión todas las relaciones f
Views 134 Downloads 0 File size 171KB
Ejercicio en clase: Árbol genealógico
Definir en Prolog los predicados que definen por extensión todas las relaciones familiares directas, padre(Padre, Hijo) y madre(Madre, Hijo) del árbol genealógico de la familia Tudor. Definir la relación progenitor , utilizando las relaciones de padre y madre. Definir nuevas relaciones (como hermano, hermana, abuelo, abuela) añadiendo los predicados (como hombre y mujer) y reglas necesarias.