Ausrufezeichen im Prolog

Angesichts der folgenden Fakten und Prädikaten:

sound(time1).
sound(time2).
sun(time3).
relax(X):-sound(X),!,sun(X).
relax(_):-sun(_).

Beim ausführen relax(S). würde ich erwarten, dass man S=time1 aufgrund der ! sagt (korrigiert mich wenn ich falsch Liege), dass wenn die " X " zufrieden ist , dann halt das backtracking.

Hier ist die trace:

3 ?- trace.
true.

[trace] 3 ?- relax(S).
   Call: (6) relax(_G1831) ? creep
   Call: (7) sound(_G1831) ? creep
   Exit: (7) sound(time1) ? creep
   Call: (7) sun(time1) ? creep
   Fail: (7) sun(time1) ? creep
   Fail: (6) relax(_G1831) ? creep
false.

Also warum Prolog prüft auch sun(time1), obwohl, dass es traf die Ausrufezeichen, nachdem er zufrieden durch sound(X) (weil sound(time1) ist eine Tatsache).

Das hat nichts zu tun mit funktionaler Programmierung und ist nicht geeignet für die Programmier-Sprachen-tag... keine tags hinzufügen, nur weil Sie Lust dazu haben.

InformationsquelleAutor ron | 2013-02-25

  1. 22

    Den ! Zeichen verhindert, dass die Rückverfolgung der Klauseln auf der rechten Seite zu der linken Seite, es ist wie ein ein-Wege-Tor, so dass es nicht backtrack über den Schnitt.

    Wenn sound(time1) true ist, wird die nächste Ziffer sun(time1) bewertet werden, und nur dann prolog wird feststellen, dass sun(time1) ist false (durch durchsuchen der knowledge base, es hat nicht wirklich wissen, dass es eine Tatsache).

    Dann, weil der Schnitt, der prolog nicht versuchen, Werte time2 und time3 in der ersten Klausel.

    Mehr über cut:

    Prolog wertet die Klauseln eines Prädikats von Links nach rechts. Es bindet einen Wert an eine variable in die am weitesten Links stehende Ziffer. Wenn die Klausel ist true ist, verschiebt es auf den nächsten. Wenn es false, prolog versucht andere Werte als gut.

    Wenn eine der Klauseln nicht erfüllt werden kann, indem ein beliebiger Wert sein, es wäre false, und so wird das gesamte Prädikat (weil die Klauseln verbunden sind, die durch UND).

    Funktioniert das ganze wie eine Tiefe-ersten traversal des Baums, wo die Klauseln sind die Knoten und die Kanten repräsentieren die verschiedenen Werte der Variablen. Wenn die überquerung findet sich eine Klausel, die false, würde es wieder in seinen vorhergehenden Satz und versuchen Sie einen anderen Wert.

    Hier kommt der Schnitt. Wenn Sie einen Schnitt (!) zwischen zwei Klauseln, würde es bedeuten, dass, wenn die Klausel nach ein Schnitt wird false, zu versuchen, neue Werte werden NUR eingeschaltet werden, WENN die Bewertung läuft NACH dem Schnitt. Es bedeutet, dass die Werte der Variablen vor dem schneiden sind gesperrt, und Sie können nicht geändert werden, wenn die Bewertung kreuzt den Schnitt.

    Was du also sagst ist, dass es keinen Unterschied zwischen relax(X):-sound(X),!,sun(X). und relax(X):-sound(X),sun(X),!. ? prolog würde versuchen nur die aktuellen 'X' und wird dann nicht ... ?
    Natürlich gibt es einen Unterschied zwischen den beiden, das ist die Lage des Schnittes. Die erste version könnte Ihnen die Antwort mehrmals, wenn sun(X) gelöst werden kann, mehr als einmal, z.B. wenn Sie hinzufügen sun(time1). und sun(X) :- sound(X). zu Ihren Prädikaten und dann Fragen, für relax(S). Die zweite version wird immer nur eine (oder keine) Antwort. Sie sind richtig, obwohl es nicht einen Unterschied machen für Sie Ihre aktuellen Prädikate.
    das ist der seltsame Teil : warum ist prolog-check über die ! im relax(X):-sound(X),!,sun(X). ? Wenn prolog gefunden, dass relax(time1) ist eine Tatsache , nicht die ! sagen, es nicht zu prüfen, nichts anderes , und außerdem nicht zu prüfen, auch sun(time1) ?
    Sie missverstanden, was der Schnitt bewirkt. Es hört nicht auf Bewertung, es bedeutet nur, dass alle Wahl Punkte angesammelt, bis ! werden verworfen. Wenn sound(X) erreicht ist, möglich soulutions sind time1 und time2. Der prolog-interpreter wählt das erste (time1) und erstellt eine Wahl Punkt kann es ansetzen, wenn der rest der Klausel scheitert, so kann es neu bewerten, mit time2. Die ! tut nichts, außer du diese Wahl zeigen. Prolog nun wertet Sie den rest des Prädikats, kann aber nicht ansetzen, bevor die ! und test mit time2 mehr.
    Prolog kann check über einen Schnitt (von Links nach rechts), aber nicht zurück über einen Schnitt (rechts nach Links) - das ist der Grund, warum ein Schnitt ist wie ein ein-Weg-Tor.

    InformationsquelleAutor 0605002

  2. 17

    Um dies zu verdeutlichen noch mehr, wenn jemand immer noch Kämpfe, wie Ausrufezeichen-operator funktioniert (wie ich), hier ist ein Beispiel:

    sound(time3).
sound(time1).
sun(time1).
relax(X):-sound(X),!,sun(X).

    Für dieses bestimmte Beispiel, wenn Sie Fragen Prolog für ?-relax(S). diese Ergebnisse in false. Wir können beschreiben, Prolog funktioniert dies so:

    1. Prolog sucht nach gefragt Prädikat (entspannen(SOMEVARIABLE unifiable
      mit der S))       in unserem Beispiel).
    2. Prolog findet Prädikat entspannen(X). Variablen
      X und S sind jetzt gebunden.
    3. Prolog beginnt, zu bewerten Klauseln:
      • Klang(X)
        • Prolog durchsucht die Datei für die Tatsache, die
          befriedigt sound(X).
        • findet er die Tatsache sound(time3). und vereint es mit unseren Variablen X=S=time3.
      • !
        • Prolog weiter zum nächsten clausule die Betreiber ! so wird er nicht backtrack hinter dieser operator.
      • Sonne(X)
        • Prolog durchsucht die Datei für die Tatsache, das sowohl Sonne(X). X ist bereits gebunden, so sucht es Sonne(time3) die nicht
          vorhanden ist.
    4. Abschluss
      • an dieser Stelle, wenn es gab keine ! Betreiber Prolog zurückkehren würde (backtrack) , Klang(X), und es wäre zuweisen, der Variablen X=S X=S=time1. Das würde schließlich dazu führen, in wahr seit der Tat Sonne(time1) vorhanden ist.
      • Prolog gibt false zurück, da konnte er nicht mit entspannen(S) für jede Regel.

    In der opposition wie ich schon sagte im 4. ohne ! Betreiber es Ergebnisse in Erfolg.

    sound(time3).
sound(time1).
sun(time1).
relax(X):-sound(X),sun(X).

    Fühlen Sie sich frei, mich zu korrigieren, wenn ich falsch bin, irgendwann.

    Ich fand diese Erklärung viel klarer als die akzeptierte Antwort, danke!

    InformationsquelleAutor Smarty77

  3. 4

    Wird es trotzdem versuchen, um zu befriedigen den rest der Regel, es will einfach nicht backtrace vor dem Ausrufezeichen. Das ist, wenn sun(X) schlägt fehl, es wird nicht backtrace und versuchen, eine übereinstimmung mit einem verschiedenen Objekt sound(X), aber nicht überein, dass die Regel völlig.

    InformationsquelleAutor Junuxx

Schreibe einen Kommentar