No determinismo, parte 1

Si hacemos una consulta como la anterior, veremos que Prolog no solo es capaz de instanciar esa variable una vez.. ¡sino multiples veces!

? padre(homero, Quien).
Quien = lisa;
Quien = bart;
Quien = maggie.

Es decir, la pregunta de quien es el hijo de homero es no determinística: no tiene una única respuesta. Y en este escenario, Prolog nos dará múltiples soluciones.

Esto debemos leerlo como que tanto lisa, como maggie y bart son individuos que hacen verdadera la consulta.

¿Y que pasará si consultamos con múltiples variables?

? padre(Padre, Hijo).

¡Probalo en la consola!

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