Alle Lösungen zu einem Prädikat in Prolog bekommen

Question

Ich schreibe ein Text-Adventure-Spiel in Prolog, und ich drucke Raum-Exits. Ich habe Code, der tut:

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

wo/2 angeschlossen ist:

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

und Pfad ist:

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

und so weiter.

Wenn ich die Ausgänge für ein Zimmer drucke, bekommt es zuerst, dann will ein ';' zu sagen, dass ich eine andere Lösung möchte. Gibt es trotzdem ein Prädikat, um das Ergebnis vollständig zu berechnen, damit der Spieler nicht mehr nach weiteren Exits fragen muss?

Answer 1

ein Weg ist so etwas wie

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

andere forall besondere Prädikat zu verwenden ist, zu tun, wie folgt:

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