Was sind die Verwendungen des fail-Prädikats in Prolog?

Ich kann nicht kommen mit einer situation, wo ich es brauche.

InformationsquelleAutor der Frage Igor | 2010-06-08

  1. 18

    Elegante Systeme bieten false/0 als deklarative synonym für den Imperativ fail/0. Ein Beispiel, wo es nützlich ist, wenn Sie manuell erzwingen wollen backtracking für Nebenwirkungen, wie:

    ?- between(1,3,N), format("line ~w\n", [N]), false.
line 1
line 2
line 3

    Statt false/0 können Sie auch jedes Ziel, das schlägt fehl, zum Beispiel ein bisschen kürzer:

    ?- between(1,3,N), format("line ~w\n", [N]), 0=1.
line 1
line 2
line 3

    So false/0 ist nicht unbedingt notwendig, aber ganz nett.

    BEARBEITEN: manchmal sehe ich, Anfänger, die wollen, Zustand, zum Beispiel "meine Beziehung nicht für die leere Liste" und dann hinzufügen:

    my_relation([]) :- false.

    Ihren code. Dies ist nicht notwendig, und nicht ein gutes Beispiel für die Nutzung false/0außer zum Beispiel bei Ausfall Scheiben, die programmgesteuert generiert. Stattdessen konzentrieren Sie sich auf die Angabe der Dinge, die halten über Ihre Beziehung. In diesem Fall lassen Sie einfach die gesamte Klausel, und definieren Sie die Beziehung nur für Listen, die nicht leer sind, d.h., mindestens ein element:

    my_relation([L|Ls]) :- etc.

    oder, wenn Sie sind, andere Bedingungen zusätzlich zu den Listen, wie gut, verwenden Sie eine Einschränkung wie:

    my_relation(T) :- dif(T, []), etc.

    Nur eines (oder sogar beide) der beiden Klauseln, die Abfrage ?- my_relation([]). wird, automatisch scheitern. Es ist nicht notwendig, die Einführung einer zusätzlichen Klausel, die nie gelingt, für diesen Zweck.

    InformationsquelleAutor der Antwort mat

  2. 7

    Expliziten Fehler. fail wird oft in Verbindung mit cut: ... !, fail. durchzusetzen, scheitern.

    Für alle zu konstruieren. Die explizite Verwendung von fail/false auflisten über backtracking ist eine sehr fehleranfällige Tätigkeit. Betrachten Sie einen Fall:

    ... ( generator(X), action(X), fail ; true ), ...

    Die Idee ist, damit zu "tun" - Aktion für alle X. Aber was passiert, wenn action(X) ausfällt? Dieses Konstrukt einfach weiter mit dem nächsten Kandidaten — als wäre nichts geschehen. Auf diese Weise bestimmte Fehler können unerkannt bleiben für sehr lange.

    Für solche Fälle ist es besser, zu verwenden \+ ( generator(X), \+ action(X) ) was nicht, sollte action(X) scheitern für einige X. Einige Systeme bieten eine integrierte forall/2. Persönlich bevorzuge ich \+ in diesem Fall, weil die \+ ist ein bisschen klarer, dass das Konstrukt nicht verlassen verbindlich.

    Failure-slice. Für diagnostische Zwecke ist es oft sinnvoll hinzufügen auf den Zweck false in Ihre Programme ein. Siehe failure-slice für weitere details.

    InformationsquelleAutor der Antwort false

  3. 2

    Einem Fall (aus Constraint-Logik-Programmierung mit Eclipse) ist eine Umsetzung nicht/1:

    :- op(900, fy, not).
not Q :- Q, !, fail.
not _ .

    Wenn Q erfolgreich ist, wird der cut (!) bewirkt, dass die zweite Klausel nicht verworfen werden, und das scheitern, sorgt für ein negatives Ergebnis. Wenn Q aus, so wird der zweite nicht-Klausel feuert zuerst.

    InformationsquelleAutor der Antwort G__

  4. 2

    Andere Verwendung für das scheitern ist die Kraft backtracking durch alternativen bei der Verwendung von Prädikaten mit Nebenwirkungen:

    writeall(X) :- member(A,X), write(A), fail.
writeall(_).

    Einige Leute könnten das nicht als besonders guter Programmierstil, wenn. 🙂

    InformationsquelleAutor der Antwort hdan

Schreibe einen Kommentar