tutorial swi programas predicados funciones explicados ejercicios ejemplos comandos prolog prolog-toplevel

swi - prolog tutorial



¿Por qué SWI-Prolog solo me da la primera respuesta? (1)

Soy nuevo en Prolog. Solo estoy probando ejemplos simples para aprender. Tengo este archivo .pl 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 a la relación parent ?

¿Alguien tiene idea de cuál es el problema?


no presione ingresar después de que se muestren sus primeros resultados, use la barra espaciadora en su lugar

  • [Enter] detiene la ejecución incluso si el retroceso no se ha completado todavía
  • [Spacebar] o [;] continúa retrocediendo desde su último resultado al siguiente resultado o false si no quedan más resultados.