Obteniendo todas las soluciones a un predicado en Prolog

Question

Estoy escribiendo un juego de texto y aventuras en Prolog, y estoy imprimiendo salidas de salas. Tengo el código que hace:

exits_from(Room) :- 
    connected(Room, X), 
    write(X), write(' '). 

donde conectado/2 es:

connected(X, Y) :- path(X, Y). 
connected(X, Y) :- path(Y, X). 

y la ruta es:

path(room, hallway). 
path(hallway, foyer). 

y así sucesivamente.

Cuando estoy imprimiendo las salidas de una habitación, obtiene la primera, luego quiere un ';' para decir que quiero otra solución. ¿Hay alguna forma de obligar a un predicado a calcular el resultado por completo, para que el jugador no tenga que seguir pidiendo más salidas?

Answer 1

es una forma de hacer algo como

print_all_solutions :- 
    solution(Sol), 
    write(Sol), 
    fail. % this causes backtracking 
print_all_solutions. % succed 

otra es utilizar el predicado especial forall, como sigue:

forall(solution(Sol), write(Sol))