PROLOG 2.4 SIGNIFICADO PROCEDUAL

Ejemplo:

Fig.1 Muestra como entender el significado procedual.

Fig.2 Quién es oscuro y enorme ?

Después de hacer estos cambios  al programa.
(4). Examina el programa para buscar la meta enorme(gato), no se encuentra ninguna cláusula. Por lo tanto se realiza un proceso de backtracking al paso 3) y se elimina la instanciación X = gato. Ahora la lista de metas es de nuevo:
negro(X), enorme(X).
Se continúa examinando el programa a partir de la cláusula 5. No se encuentra ninguna cláusula. Por lo tanto se realiza un proceso de backtracking nuevamente al paso (2) y se continúa examinando a partir de la cláusula 7. Se encuentra la cláusula 8:
oscuro(Z) :- cafe(Z).
Se reemplaza la primera meta en la lista de metas por cafe(X), dando:
cafe(X), enorme(X)
...
y por ultimo...

Fig.3 Despues de aplicarle tal procedimiento. Realizamos en nueva cuenta la pregunta, arrojando el siguiente resultado.

En lo personal no le entendí mucho a este tema, me aconsejo trabajar mas con este mismo. Si están igual o peor que yo, no se sientan solos ya somos dos...jeje