El árbol de búsqueda

¿Cómo encuentra Prolog las respuestas? Hace una búsqueda muy ordenada, que se puede dibujar como un árbol:

1. Toma lo primero que falta probar.
2. Busca, de arriba hacia abajo, un hecho o una regla que coincida.
3. Si coincide, sigue con lo que falta. Si no, prueba el siguiente.
4. Si un camino no lleva a nada, retrocede hasta la última decisión y prueba otra opción. Eso se llama backtracking.

Ejecuta paso a paso y mira el árbol: las cajas rojas son caminos que fallaron, y las verdes son soluciones.

Marcar como terminada