Was bedeutet \+ bedeutet Prolog?

Ich habe gesehen, einige Antworten hier, die es benutzen und ich weiß nicht, was es bedeutet oder wie es zu benutzen. Ich ist auch schwer zu suchen über eine Suchmaschine 🙂

InformationsquelleAutor der Frage Juanjo Conti | 2009-11-10

  1. 25

    Es ist der " nicht beweisbar ' - operator. Es gelingt, wenn das argument ist nicht beweisbar (und schlägt fehl, wenn das argument ist beweisbar).

    InformationsquelleAutor der Antwort Carl Norum

  2. 7

    Es tun, mit negation. \+ Goal erfolgreich sein wird, wenn Goal nicht bewiesen werden kann.

    InformationsquelleAutor der Antwort Trevor Tippins

  3. 0

    Den Weg ich merken, es wird durch die folgende logische Regel:

    • \+ = 'wenn unsure oder false übernehmen false'

    Dies unterscheidet sich von standard-boolean-Logik, dass, wenn Ihr Ziel ist ungewiss, anstelle von direkter true oder false, es übernimmt den Wert false, wenn es nicht als wahr erweisen. Das offensichtlichste Beispiel ist nicht in der Lage, um zu sehen, ob ein stream noch offen ist oder nicht. Wenn Sie nicht beweisen können ist es offen, es ist das gleiche wie geschlossen auf dem Programm.

    https://en.wikipedia.org/wiki/Negation_as_failure

    InformationsquelleAutor der Antwort G_V

Schreibe einen Kommentar