Ejercicio 9: No determinismo, parte 2

Cuando te decíamos que Prolog genera múltiples soluciones no mentíamos: cada solución está conformada por el conjunto de individuos que hacen verdadera la consulta.

? padre(Padre, Hijo).
Padre = homero,   % notá la , para separar variables
Hijo = bart;      % notá el ; para separar las soluciones
Padre = homero;
Hijo = maggie,
Padre = homero;
Hijo = lisa,
Padre = abraham,
Hijo = homero;
Padre = abraham,
Hijo = herbert.

Tenés que iniciar sesión antes de empezar a enviar tus soluciones