Benötigen Sie eine vollständige Liste der Ausgabe

Question

Unten sind die Codes, die ich kam. Hier gibt es jedoch zwei Probleme. Zuerst wird nur der erste Wert von X angezeigt, der 1. Ist. Wenn Y falsch ist, springt er nicht zurück zu menu1. Ich hoffe, dass ich dir dabei helfen kann.

time(office_hour,1). 
time(office_hour,2). 
menu1 :- 
    write('Input time'),nl, 
    read(Y),nl,time(Y,X),nl,write(X),nl,menu1. 

Dies ist das Beispiel des Szenarios. Wie unten zu sehen ist, wird nur der Wert 1 angezeigt. Wie kann man auch den Wert 2 anzeigen? Sry, ich bin nur ein Neuling

?-menu1. 
Input time 
office_hour. 
1. 
Input time 

Answer 1

Sie müssen Prolog zu denselben Weg zurückverfolgen, damit alle Lösungen zu bekommen. Das Problem mit Ihrem Prädikat ist, dass es einen rekursiven Aufruf durchführt, bevor es zurückverfolgen kann. Außerdem werden Sie für die nächste Menüaufforderung eine Ebene tiefer recursen, was wahrscheinlich nicht gut ist, da es ständig mehr Stapel verbraucht, da es auf Benutzereingaben reagiert.

Hier ist ein anderer Ansatz, mit dem repeat/0 Prädikat zusammen mit fail/0. repeat/0 ist einfach erfolgreich, was es ermöglicht, während des Backtracking nach Lösungen zu suchen. Und fail/0 schlägt immer fehl, was Backtracking erzwingt. Es ist eine gebräuchliche Art, eine kontinuierliche Wiederholungsschleife zu erstellen, und eignet sich gut zum Wiederholen eines Menüs. Ich habe auch die nl/0 Verwendung ein wenig angepasst, um die Ausgabe ein wenig sauberer zu machen, und ich habe time/2 umbenannt, da es einfach zu generisch ist und möglicherweise mit einem Systemprädikat kollidieren könnte.

item_time(office_hour,1). 
item_time(office_hour,2). 

menu1 :- 
    repeat, 
    nl, write('Input time'), nl, 
    read(Y), 
    item_time(Y, X), 
    write(X), nl, 
    fail. 

Dies ergeben:

| ?- menu1. 

Input time 
office_hour. 
1 
2 

Input time 
foo. 

Input time 
... 

Was hier passiert, ist, dass fail/0 wird das Prädikat Klausel verursachen die write(X), nl und zum time(Y, X) zurückzuverfolgen, durch die mit den alternativen Lösungen treffen werden, auf denen gelingen Lösungen, und dann wieder auf die write(X), nl gehen. Wenn time(Y, X) keine Lösungen mehr findet, schlägt es schließlich fehl und die Klausel rückt den gesamten Weg zurück zum repeat/0 Aufruf, der immer erfolgreich ist. Dies führt dazu, dass die Ausführung wieder auf nl, write('Input time'), ... vorrückt.

Wie Sie sehen können, wird die Eingabe von etwas unerkannt nur noch einmal aufgefordert. Um dies zu vervollständigen, könnten Sie Atome hinzufügen, die als "ruhig" erkannt werden, und Sie könnten eine Diagnosemeldung schreiben, wenn Sie eine Eingabe erhalten, die in Ihrer Datenbank nicht existiert. Das wäre eine gute Übung zum Lernen.

Answer 2

Das zweite Problem:

menu1 :- 
    write('Input time'),nl, 
    read(Y),nl, 
    (time(Y,X) -> 
    write(X),nl 
    ; write('bad input'),nl), 
    menu1.