¿Por qué SWI-Prolog solo me da la primera respuesta?
Soy nuevo en Prolog. Solo intento ejemplos simples para aprender. tengo esto.pl archivo con estas líneas:
parent(pam,bob).
parent(tom,bob).
parent(tom,lio).
parent(bob,ann).
parent(bob,pat).
parent(pat,jim).
Después de consultar y probar, solo muestra la primera respuesta. Por ejemplo:
5 ?- parent(X,Y).
X = pam,
Y = bob .
¿No se supone que debe dar todas las combinaciones que satisfacen la relación?parent?
¿Alguien tiene idea de cuál es el problema?